Model Checking Software 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
Since 1995, when the SPIN workshop series was instigated, SPIN workshops have been held on an annual basis in Montr´ eal (1995), New Brunswick (1996), Enschede (1997), Paris (1998), Trento (1999), Toulouse (1999), Stanford (2000), Toronto (2001), Grenoble (2002) and Portland (2003). All but the ?rst...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2004, 2004
|
| Edition: | 1st ed. 2004 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Invited Paper
- Formal Analysis of Processor Timing Models
- Heuristics and Probabilities
- Typical Structural Properties of State Spaces
- State Caching Reconsidered
- Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
- Fast and Accurate Bitstate Verification for SPIN
- Improvements of SPIN
- Model-Driven Software Verification
- Minimization of Counterexamples in SPIN
- Validation of Timed Systems
- Black-Box Conformance Testing for Real-Time Systems
- Validation of UML Models via a Mapping to Communicating Extended Timed Automata
- Tool Papers
- Explicit State Model Checking with Hopper
- SEQ.OPEN: A Tool for Efficient Trace-Based Verification
- Model Checking Genetic Regulatory Networks Using GNA and CADP
- Abstraction and Symbolic Methods
- Verification of Java Programs Using Symbolic Execution and Invariant Generation
- Polynomial Time Image Computation with Interval-Definable Counters Systems
- Using Fairness to Make Abstractions Work
- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models
- Applications
- Translation from Adapted UML to Promela for CORBA-Based Applications
- Verifying Commit-Atomicity Using Model-Checking
- Analysis of Distributed Spin Applied to Industrial-Scale Models
- Verification of MPI-Based Software for Scientific Computation
- Tutorials
- Advanced SPIN Tutorial
- IF Validation Environment Tutorial