Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Guy Edward Gallasch, Jonathan Billington |
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Stop and Wait Protocols, Infinite Families of Systems, Parametric Reachability Graphs, Coloured Petri Nets |
1 | Stefan Edelkamp, Shahid Jabbar |
Large-Scale Directed Model Checking LTL. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang 0013, Robert M. Kirby, Ganesh Gopalakrishnan |
Parallel and Distributed Model Checking in Eddy. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Armando, Jacopo Mantovani, Lorenzo Platania |
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu, Dimitra Giannakopoulou |
Towards a Compositional SPIN. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
model checking, learning, Assume-guarantee reasoning |
1 | Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente |
Partial-Order Reduction for General State Exploring Algorithms. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Kupferschmid, Jörg Hoffmann 0001, Henning Dierks, Gerd Behrmann |
Adapting an AI Planning Heuristic for Directed Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
1 | Christophe Joubert, Radu Mateescu 0001 |
Distributed On-the-Fly Model Checking and Test Case Generation. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Harmen Kastenberg, Arend Rensink |
Model Checking Dynamic States in GROOVE. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan |
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Dräger, Bernd Finkbeiner, Andreas Podelski |
Directed Model Checking with Distance-Preserving Abstractions. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Antti Valmari (eds.) |
Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Christian Topnik, Eva Wilhelm, Tiziana Margaria, Bernhard Steffen |
jMosel: A Stand-Alone Tool and jABC Plugin for M2L(Str). |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
A Counterexample-Guided Refinement Tool for Open Procedural Programs. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
CSP, software model checking, game semantics, abstraction refinement, FDR |
1 | Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt |
Verification of Medical Guidelines by Model Checking - A Case Study. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Asbru, medical guidelines, Model checking, verification, formal methods, abstraction |
1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The BLAST Software Verification System. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Yung-Pin Cheng |
Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki, Gerard J. Holzmann |
Improving Spin's Partial-Order Reduction for Breadth-First Search. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Godefroid (eds.) |
Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gerrit Rothmaier, Tobias Kneiphoff, Heiko Krumm |
Using SPIN and Eclipse for Optimized High-Level Modeling and Analysis of Computer Network Attack Models. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sarfraz Khurshid, Iván García, Yuk Lai Suen |
Repairing Structurally Complex Data. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Levin, Robert Palmer, Shaz Qadeer, Sriram K. Rajamani |
Sound Transaction-Based Reduction Without Cycle Detection. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Jean-François Pradat-Peyre |
Memory Efficient State Space Storage in Explicit Software Model Checking. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anil Madhavapeddy, David J. Scott, Richard Sharp |
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud |
On-the-Fly Emptiness Checks for Generalized Büchi Automata. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Daniel Kroening, Natasha Sharygina |
Symbolic Model Checking for Asynchronous Boolean Programs. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter C. Dillinger, Panagiotis Manolios |
Enhanced Probabilistic Verification with 3Spin and 3Murphi. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh |
Generic Verification of Security Protocols. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Barros, Ludovic Henrio, Eric Madelaine |
Behavioural Models for Hierarchical Components. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Willem Visser, Peter C. Mehlitz |
Model Checking Programs with Java PathFinder. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gerard J. Holzmann, Theo C. Ruys |
Effective Bug Hunting with Spin and Modex. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon |
Verifying Pattern-Generated LTL Formulas: A Case Study. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cristian Cadar, Dawson R. Engler |
Execution Generated Test Cases: How to Make Systems Code Crash Itself. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Eric Mercer, Michael D. Jones |
Model Checking Machine Code with the GNU Debugger. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | David A. Wagner 0001 |
Pushdown Model Checking for Security. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bas Luttik, Nikola Trcka |
Stuttering Congruence for chi. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Simon J. Gay |
Etch: An Enhanced Type Checking Tool for Promela. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning-Based Assume-Guarantee Verification (Tool Paper). |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Madanlal Musuvathi, David L. Dill |
An Incremental Heap Canonicalization Algorithm. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Leue, Wei Wei 0015 |
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen F. Siegel, George S. Avrunin |
Verification of MPI-Based Software for Scientific Computation. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Susanne Graf, Laurent Mounier (eds.) |
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Radek Pelánek |
Typical Structural Properties of State Spaces. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer |
Analysis of Distributed Spin Applied to Industrial-Scale Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Jones, Eric Mercer |
Explicit State Model Checking with Hopper. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Leven, Tilman Mehler, Stefan Edelkamp |
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Moez Krichen, Stavros Tripakis |
Black-Box Conformance Testing for Real-Time Systems. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jaco Geldenhuys |
State Caching Reconsidered. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu, Willem Visser |
Verification of Java Programs Using Symbolic Execution and Invariant Generation. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki, Natalia Ioustinova, Natalia Sidorova |
Using Fairness to Make Abstractions Work. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober |
IF Validation Environment Tutorial. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu 0001 |
Model Checking Genetic Regulatory Networks Using GNA and CADP. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alain Finkel, Jérôme Leroux |
Polynomial Time Image Computation with Interval-Definable Counters Systems. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Iulian Ober, Susanne Graf, Ileana Ober |
Validation of UML Models via a Mapping to Communicating Extended Timed Automata. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Theo C. Ruys, Gerard J. Holzmann |
Advanced SPIN Tutorial. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Gerard J. Holzmann, Rajeev Joshi |
Model-Driven Software Verification. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Garavel, Radu Mateescu 0001 |
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter C. Dillinger, Panagiotis Manolios |
Fast and Accurate Bitstate Verification for SPIN. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Paul Gastin, Pierre Moro, Marc Zeitoun |
Minimization of Counterexamples in SPIN. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Chen, Hanmei Cui |
Translation from Adapted UML to Promela for CORBA-Based Applications. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
Model Checking, UML, Middleware, CORBA, SPIN, Distributed Object Systems, Formal Specification and Verification |
1 | Reinhard Wilhelm |
Formal Analysis of Processor Timing Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Leue, Richard Mayr, Wei Wei 0015 |
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan |
Verifying Commit-Atomicity Using Model-Checking. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre |
Software Verification with BLAST. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng |
A Requirements Patterns-Driven Approach to Specify Systems and Check Properties. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Deepak D'Souza, Madhavan Mukund |
Checking Consistency of SDL+MSC Specifications. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Samar Dajani-Brown, Darren D. Cofer, Gary Hartmann, Steve Pratt |
Formal Modeling and Analysis of an Avionics Triplex Sensor Voter. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Timo Latvala |
Efficient Model Checking of Safety Properties. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino |
A SAT Characterization of Boolean-Program Correctness. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jaco Geldenhuys, Antti Valmari |
A Nearly Memory-Optimal Data Structure for Sets and Mappings. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Ivana Cerná, Radek Pelánek |
Distributed Explicit Fair Cycle Detection (Set Based Approach). |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Sriram K. Rajamani (eds.) |
Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dragan Bosnacki |
A Light-Weight Algorithm for Model Checking with Symmetry Reduction and Weak Fairness. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp |
Promela Planning. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Theo C. Ruys |
Optimal Scheduling Using Branch and Bound with SPIN 4.0. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Irfan Zakiuddin, Michael Goldsmith, Paul Whittaker, Paul H. B. Gardiner |
A Methodology for Model-Checking Ad-hoc Networks. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Willem Visser |
What Went Wrong: Explaining Counterexamples. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi 0001 |
Unification & Sharing in Timed Automata Verification. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Cormac Flanagan, Shaz Qadeer |
Thread-Modular Model Checking. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | David Garlan, Serge Khersonsky, Jung Soo Kim |
Model Checking Publish-Subscribe Systems. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Steven Eker, José Meseguer 0001, Ambarish Sridharanarayanan |
The Maude LTL Model Checker and Its Implementation. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Dams |
Abstraction in Software Model Checking: Principles and Practice (Tutorial Overview and Bibliography). |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Tiziana Margaria, Oliver Niese, Bernhard Steffen |
Demonstration of an Automated Integrated Test Environment for Web-Based Applications. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux |
Extending the Translation from SDL to Promela. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
SDL formalism, save operator, model-checking, data abstraction |
1 | Benedikt Bollig, Martin Leucker, Michael Weber 0002 |
Local Parallel Model Checking for the Alternation-Free µ-Calculus. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christian Stehno |
System Specification and Verification Using High Level Concepts - A Tool Demonstration. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Theo C. Ruys |
SPIN Tutorial: How to Become a SPIN Doctor. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Per Bjesse |
Industrial Model Checking Based on Satisfiability Solvers. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ramazan Savas Aygün, Aidong Zhang |
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Edmund M. Clarke |
SAT-Based Counterexample Guided Abstraction Refinement. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hyun-Wook Jin, Ki-Seok Bang, Chuck Yoo, Jin-Young Choi, Hojung Cha |
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David A. Basin, Stefan Friedrich 0001, Marek Gawkowski, Joachim Posegga |
Bytecode Model Checking: An Experimental Analysis. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Olga Shumsky Matlin, Ewing L. Lusk, William McCune |
SPINning Parallel Systems Software. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Willem Visser |
Heuristic Model Checking for Java Programs. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Wiebe van der Hoek, Michael J. Wooldridge |
Model Checking Knowledge and Time. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Radu Iosif |
Symmetry Reduction Criteria for Software Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001 |
alpha SPIN: Extending SPIN with Abstraction. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Abstract Interpretation: Theory and Practice. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Harry C. Li, Kathi Fisler, Shriram Krishnamurthi |
The Influence of Software Module Systems on Modular Verification. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|