default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th SPIN 2003: Portland, OR, USA
- Thomas Ball, Sriram K. Rajamani:
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Lecture Notes in Computer Science 2648, Springer 2003, ISBN 3-540-40117-2 - Theo C. Ruys:
Optimal Scheduling Using Branch and Bound with SPIN 4.0. 1-17 - Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng
, Min Deng:
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. 18-33 - Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt:
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. 34-48 - Ivana Cerná, Radek Pelánek:
Distributed Explicit Fair Cycle Detection (Set Based Approach). 49-73 - Timo Latvala:
Efficient Model Checking of Safety Properties. 74-88 - Dragan Bosnacki:
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. 89-103 - K. Rustan M. Leino:
A SAT Characterization of Boolean-Program Correctness. 104-120 - Alex Groce, Willem Visser:
What Went Wrong: Explaining Counterexamples. 121-135 - Jaco Geldenhuys, Antti Valmari:
A Nearly Memory-Optimal Data Structure for Sets and Mappings. 136-150 - Deepak D'Souza, Madhavan Mukund:
Checking Consistency of SDL+MSC Specifications. 151-165 - David Garlan, Serge Khersonsky, Jung Soo Kim:
Model Checking Publish-Subscribe Systems. 166-180 - Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner:
A Methodology for Model-Checking Ad-hoc Networks. 181-196 - Stefan Edelkamp:
Promela Planning. 197-212 - Cormac Flanagan, Shaz Qadeer:
Thread-Modular Model Checking. 213-224 - Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
Unification & Sharing in Timed Automata Verification. 225-229 - Steven Eker, José Meseguer, Ambarish Sridharanarayanan:
The Maude LTL Model Checker and Its Implementation. 230-234 - Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre:
Software Verification with BLAST. 235-239
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 2025-12-24 23:32 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:
