Model Checking Software
Publication year: 2007
ISBN: 978-3-540-73370-6
Internet Resource: Please Login to download book
This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. 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.
Subject: Computer Science, SPIN, Scala, Variable, distributed porcesses, explicit model checking, formal methods, formal specification, formal verification, markovian systems, model checking, modeling, mu calculus, semantics, structured analysis, verification
