Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /
Material type: TextSeries: Theoretical Computer Science and General Issues ; 4595Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Edition: 1st ed. 2007Description: X, 285 p. online resourceContent type:- text
- computer
- online resource
- 9783540733706
- 005.1 23
- QA76.758
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.
There are no comments on this title.