Model Checking Software - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Table des matières

StackSnuffer: Curing Orion's Unsoundness.- Tutorial: Parallel Model Checking.- Local Abstraction-Refinement for the mu-Calculus.- Minimal Counterexample Generation for SPIN.- Generating Counter-Examples Through Randomized Guided Search.- Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software.- Some Solutions to the Ignoring Problem.- Cartesian Partial-Order Reduction.- On-the-Fly Dynamic Dead Variable Analysis.- SAT-Based Summarization for Boolean Programs.- LTL Satisfiability Checking.- An Embeddable Virtual Machine for State Space Generation.- Scalable Multi-core LTL Model-Checking.- A SystemC/TLM Semantics in Promela and Its Possible Applications.- Towards Model Checking Spatial Properties with SPIN.- Model Extraction for ARINC 653 Based Avionics Software.- BEEM: Benchmarks for Explicit Model Checkers.- C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.- ACSAR: Software Model Checking with Transfinite Refinement.- Instrumenting C Programs with Nested Word Monitors.

Détails du produit

• Collaboration: Dragan Bosnacki (Editeur), Stefan Edelkamp (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 21.06.2007
• EAN: 9783540733690
• ISBN: 978-3-540-73369-0
• Pages: 285
• Dimensions: 155 mm x 16 mm x 235 mm
• Poids: 458 g
• Illustrations: X, 285 p.
• Thèmes: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Catégories: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; C, Software Engineering, Theoretische Informatik, Compiler und Übersetzer, computer science, Verification, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Operating systems, Computer programming / software engineering, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Compilers and Interpreters