Model checking software

InhaltsverzeichnisStackSnuffer: 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.