This book presents the proceedings of the 14th International
SPIN workshop on Model Checking Software, held in Berlin, Germany.
Fourteen full papers are presented, together with four tool
presentation papers and the abstracts of two invited talks. The
papers are organized into topical sections covering directed model
checking, partial order reduction, program analysis, exploration
advances, modeling and case studies, and tool demonstrations.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
