Constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007. This book features papers that are organized in topical sections on directed model checking.

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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com