Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science)

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science) by Dragan Bosnacki, Stefan Edelkamp epub pdf fb2

Title: Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science)
Author: Dragan Bosnacki, Stefan Edelkamp
ISBN10: 3540733698
ISBN13: 978-3540733690
Publisher: Springer; 2007 edition (July 31, 2007)
Language: English
Subcategory: Programming
Size PDF: 1387 kb
Size Fb2: 1654 kb
Rating: 3.7/5
Votes: 261
Pages: 285 pages
Other Format: azw txt mbr lit

Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science) by Dragan Bosnacki, Stefan Edelkamp


pdf epub fb2 djvu



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.

Related to Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (Lecture Notes in Computer Science) pdf / fb2 / epub ebooks: