default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th SPIN 2004: Barcelona, Spain
- Susanne Graf, Laurent Mounier:
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in Computer Science 2989, Springer 2004, ISBN 3-540-21314-7
Invited Paper
- Reinhard Wilhelm:
Formal Analysis of Processor Timing Models. 1-4
Heuristics and Probabilities
- Radek Pelánek:
Typical Structural Properties of State Spaces. 5-22 - Jaco Geldenhuys:
State Caching Reconsidered. 23-38 - Peter Leven, Tilman Mehler, Stefan Edelkamp:
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. 39-56 - Peter C. Dillinger, Panagiotis Manolios
:
Fast and Accurate Bitstate Verification for SPIN. 57-75
Improvements of SPIN
- Gerard J. Holzmann, Rajeev Joshi:
Model-Driven Software Verification. 76-91 - Paul Gastin, Pierre Moro, Marc Zeitoun:
Minimization of Counterexamples in SPIN. 92-108
Validation of Timed Systems
- Moez Krichen, Stavros Tripakis:
Black-Box Conformance Testing for Real-Time Systems. 109-126 - Iulian Ober, Susanne Graf, Ileana Ober:
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. 127-145
Tool Papers
- Michael D. Jones, Eric Mercer:
Explicit State Model Checking with Hopper. 146-150 - Hubert Garavel, Radu Mateescu:
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. 151-157 - Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu:
Model Checking Genetic Regulatory Networks Using GNA and CADP. 158-163
Abstraction and Symbolic Methods
- Corina S. Pasareanu, Willem Visser:
Verification of Java Programs Using Symbolic Execution and Invariant Generation. 164-181 - Alain Finkel, Jérôme Leroux:
Polynomial Time Image Computation with Interval-Definable Counters Systems. 182-197 - Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova:
Using Fairness to Make Abstractions Work. 198-215 - Stefan Leue, Richard Mayr, Wei Wei:
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. 216-233
Applications
- Jessica Chen, Hanmei Cui:
Translation from Adapted UML to Promela for CORBA-Based Applications. 234-251 - Cormac Flanagan:
Verifying Commit-Atomicity Using Model-Checking. 252-266 - Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer:
Analysis of Distributed Spin Applied to Industrial-Scale Models. 267-285 - Stephen F. Siegel, George S. Avrunin:
Verification of MPI-Based Software for Scientific Computation. 286-303
Tutorials
- Theo C. Ruys, Gerard J. Holzmann:
Advanced SPIN Tutorial. 304-305 - Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober:
IF Validation Environment Tutorial. 306-307
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-01-03 00:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
