Model Checking Software (vol. # 3639)
Publication year: 2005
ISBN: 978-3-540-31899-6
Internet Resource: Please Login to download book
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
Subject: Computer Science, Eclipse, Java, SPIN, abstraction, algorithms, explicit model checking, formal methods, formal specification, modal verification, modeling, mu calculus, software verification, spin model checking, structured analysis, verification
