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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bošnački, Dragan (Editor), Edelkamp, Stefan (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Series: Lecture Notes in Computer Science, 4595
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

Table of Contents:

• 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.