default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th SPIN 2001: Toronto, Canada
- Matthew B. Dwyer
:
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings. Lecture Notes in Computer Science 2057, Springer 2001, ISBN 3-540-42124-6
Invited Keynotes
- Doron A. Peled, Lenore D. Zuck:
From Model Checking to a Temporal Proof. 1-14 - Rob Gerth:
Model Checking if Your Life Depends on It a View from Intel's Trenches. 15
Technical Papers and Tool Reports
- Marsha Chechik, Benet Devereux, Arie Gurfinkel:
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. 16-36 - Javier Esparza, Keijo Heljanko:
Implementing LTL Model Checking with Net Unfoldings. 37-56 - Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue:
Directed Explicit Model Checking with HSF-SPIN. 57-79 - Flavio Lerda, Willem Visser:
Addressing Dynamic Issues of Program Model Checking. 80-102 - Thomas Ball, Sriram K. Rajamani:
Automatically Validating Temporal Safety Properties of Interfaces. 103-122 - Guoping Jia, Susanne Graf:
Verification Experiments on the MASCARA Protocol. 123-142 - Muffy Calder, Alice Miller:
Using SPIN for Feature Interaction Analysis - A Case Study. 143-162 - Shin Nakajima, Tetsuo Tamai:
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. 163-182 - Michael Baldamus, Jochen Schröder-Babo:
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). 183-191 - Scott D. Stoller, Yanhong A. Liu:
Transformations for Model Checking Distributed Java Programs. 192-199 - Jiri Barnat, Lubos Brim, Jitka Stríbrná:
Distributed LTL Model-Checking in SPIN. 200-216 - Hubert Garavel, Radu Mateescu, Irina M. Smarandache:
Parallel State Space Construction for Model-Checking. 217-234 - Fabrice Derepas, Paul Gastin:
Model Checking Systems of Replicated Processes with Spin. 235-251 - Vivek K. Shanbhag, K. Gopinath:
A SPIN-Based Model Checker for Telecommunication Protocols. 252-271 - Clement Yuen, Wei Tjioe:
Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin. 272-287
Invited Project Summaries
- Leszek Holenderski:
A Model Checking Project at Philips Research. 288-295 - Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal:
Applications of Model Checking at Honeywell Laboratories. 296-303 - Bernhard Steffen, Tiziana Margaria, Volker Braun:
Coarse-Granular Model Checking in Practice. 304-312
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-02-20 22:02 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:
