Model Checking Software: 18th International Spin Workshop, Snowbird, UT, USA, July 14-15, 2011 : Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2011)

Brand new: lowest price

AU $95.03

Free postage
  • Get it by Wed, 28 Mar - Mon, 16 Apr from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
Model Checking Software. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.