Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue |
Partial Order Reduction in Directed Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Cindy Eisner, Doron A. Peled |
Comparing Symbolic and Explicit Model Checking of a Software System. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Maggi, Riccardo Sisto |
Using SPIN to Verify Security Properties of Cryptographic Protocols. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki, Stefan Leue (eds.) |
Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | James S. Pascoe, Roger J. Loader, Vaidy S. Sunderam |
The Agreement Problem Protocol Verification Environment. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Denis Lugiez, Peter Niebert, Sarah Zennou |
Dynamic Bounds and Transition Merging for Local First Search. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yves-Marie Quemener |
A Typical Testing Problem: Validating WML Cellphones. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Lerda, Willem Visser |
Addressing Dynamic Issues of Program Model Checking. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vivek K. Shanbhag, K. Gopinath |
A SPIN-Based Model Checker for Telecommunication Protocols. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Sriram K. Rajamani |
Automatically Validating Temporal Safety Properties of Interfaces. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Doron A. Peled, Lenore D. Zuck |
From Model Checking to a Temporal Proof. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Darren D. Cofer, Eric Engstrom, Robert P. Goldman, David J. Musliner, Steve Vestal |
Applications of Model Checking at Honeywell Laboratories. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Shin Nakajima 0001, Tetsuo Tamai |
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Matthew B. Dwyer (eds.) |
Model Checking Software, 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001, Proceedings |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Tiziana Margaria, Volker Braun |
Coarse-Granular Model Checking in Practice. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fabrice Derepas, Paul Gastin |
Model Checking Systems of Replicated Processes with Spin. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Baldamus, Jochen Schröder-Babo |
p2b: A Translation Utility for Linking Promela and Symbolic Model Checking (Tool Paper). |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Keijo Heljanko |
Implementing LTL Model Checking with Net Unfoldings. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Radu Mateescu 0001, Irina M. Smarandache |
Parallel State Space Construction for Model-Checking. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
state space construction, model-checking, verification, distributed algorithms, labeled transition system, LOTOS |
1 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Clement Yuen, Wei Tjioe |
Modeling and Verifying a Price Model for Congestion Control in Computer Networks Using Promela/Spin. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rob Gerth |
Model Checking if Your Life Depends on It a View from Intel's Trenches. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Muffy Calder, Alice Miller 0001 |
Using SPIN for Feature Interaction Analysis - A Case Study. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services |
1 | Scott D. Stoller, Yanhong A. Liu |
Transformations for Model Checking Distributed Java Programs. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Leszek Holenderski |
A Model Checking Project at Philips Research. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Guoping Jia, Susanne Graf |
Verification Experiments on the MASCARA Protocol. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Benet Devereux, Arie Gurfinkel |
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Jitka Stríbrná |
Distributed LTL Model-Checking in SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Anca Browne, Henny Sipma, Ting Zhang 0001 |
Linking STeP with SPIN. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wayne Liu |
Interaction Abstraction for Compositional Finite State Systems. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Philippa J. Broadfoot, A. W. Roscoe 0001 |
Tutorial on FDR and Its Applications. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jerry J. Harrow |
Runtime Checking of Multithreaded Applications with Visual Threads. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Heikki Tauriainen, Keijo Heljanko |
Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Elena Fersman, Bengt Jonsson 0001 |
Abstraction of Communication Channels in Promela: A Case Study. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Doron Drusinsky |
The Temporal Rover and the ATG Rover. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Sriram K. Rajamani |
Bebop: A Symbolic Model Checker for Boolean Programs. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Weininger, Darren D. Cofer |
Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Scott D. Stoller |
Model-Checking Multi-threaded Distributed Java Programs. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Matthieu Martel, Marc Gengler |
Communication Topology Analysis for Concurrent Programs. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, John Penix, Willem Visser (eds.) |
SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Ed Brinksma, Angelika Mader |
Verification and Optimization of a PLC Control Schedule. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Theo C. Ruys |
Low-Fat Recipes for SPIN. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki, Dennis Dams, Leszek Holenderski |
Symmetric Spin. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund |
Using Runtime Analysis to Guide Model Checking of Java Programs. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
A Language Framework for Expressing Checkable Properties of Dynamic Software. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Radu Iosif, Riccardo Sisto |
Using Garbage Collection in Model Checking. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mila E. Majster-Cederbaum, Frank Salger |
Correctness by Construction: Towards Verification in Hierarchical System Development. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Bengi Karaçali, Kuo-Chung Tai |
Model Checking Based on Simultaneous Reachability Analysis. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gerard J. Holzmann |
Logic Verification of ANSI-C Code with SPIN. |
SPIN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen |
Divide, Abstract, and Model-Check. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Demartini, Radu Iosif, Riccardo Sisto |
dSPIN: A Dynamic Extension of SPIN. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Carl B. Adekunle, Steve A. Schneider |
Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Jens U. Skakkebæk |
Applying Model Checking in Java Verification. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jaco Geldenhuys, P. J. A. de Villiers |
Runtime Efficient State Compaction in SPIN. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gerard J. Holzmann |
The Engineering of a Model Checker: The Gnu i-Protocol Case Study Revisited. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dan Craigen |
Formal Methods Adoption: What's Working, What's Not! |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Heikki Tuominen |
Embedding a Dialect of SDL in PROMELA. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wil Janssen, Radu Mateescu 0001, Sjouke Mauw, Peter Fennema, Petra van der Stappen |
Model Checking for Managers. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Lerda, Riccardo Sisto |
Distributed-Memory Model Checking with SPIN. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Theo C. Ruys |
Xspin/Project - Integrated Validation Management for Xspin. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Moataz Kamel, Stefan Leue |
VIP: A Visual Interface for Promela. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marsha Chechik, Dimitrie O. Paun |
Events in Property Patterns. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund |
Java PathFinder, A Translator from Java to Promela. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001 |
Assume-Guarantee Model Checking of Software: A Comparative Case Study. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wenhui Zhang |
Model Checking Operator Procedures. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki |
Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Pedro Merino 0001 |
A Framework for Automatic Construction of Abstract Promela Models. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.) |
Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gerald Lüttgen, Victor Carreño |
Analyzing Mode Confusion via Model Checking. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|