Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2007, 2007
|
| Edition: | 1st ed. 2007 |
| Series: | Theoretical Computer Science and General Issues
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
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