Model Checking Software  14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /  [electronic resource] : 
edited by Dragan Bosnacki, Stefan Edelkamp. 
 - 1st ed. 2007. 
 - X, 285 p.  online resource. 
 - Theoretical Computer Science and General Issues,  4595  2512-2029 ; .
 - Theoretical Computer Science and General Issues,  4595 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540733706 
<br/><br/><label>Standard No.: </label>10.1007/978-3-540-73370-6  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Compilers (Computer programs).<br/>Computer science.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Computer Science Logic and Foundations of Programming.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1