Model Checking Software
Publication year: 2007
: 978-3-540-73370-6
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.
: 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
