Distributed LTL model-checking in SPIN

Jiri Barnat, Lubos Brim and Jitka Stříbrná

View Related Documents

Book Chapter
Distributed-Memory Model Checking with SPIN
Flavio Lerda and Riccardo Sisto
Lecture Notes in Computer Science, 1999, Volume 1680, Theoretical and Practical Aspects of SPIN Model Checking, Pages 22-39
- Download PDF (177.3 KB)
Book Chapter
Approximations in Distributed Optimization
Adrian Petcu and Boi Faltings
Lecture Notes in Computer Science, 2005, Volume 3709, Principles and Practice of Constraint Programming - CP 2005, Pages 802-806
- Download PDF (242.8 KB)
Book Chapter
Distributed Collision Handling for Particle-Based Simulation
Giancarlo Frugoli, Alessandro Fava, Emanuele Fava and Gianni Conte
Lecture Notes in Computer Science, 1999, Volume 1697, Recent Advances in Parallel Virtual Machine and Message Passing Interface, Page 676
- Download PDF (176.8 KB)
Book Chapter
Simulating synthetic polymer chains in parallel
Bernd Jung, Hans-Peter Lenhof, Peter Müller and Christine Rüb
Lecture Notes in Computer Science, 1999, Volume 1593, High-Performance Computing and Networking, Pages 13-22
- Download PDF (623.9 KB)
Journal Article
Directed explicit-state model checking in the validation of communication protocols
Stefan Edelkamp, Stefan Leue and Alberto Lluch-Lafuente
International Journal on Software Tools for Technology Transfer (STTT), 2003, Volume 5, Numbers 2-3, Pages 247-267
- Download PDF (976.5 KB)
Book Chapter
Parallel state space construction for model-checking
Hubert Garavel, Radu Mateescu and Irina Smarandache
Lecture Notes in Computer Science, 2001, Volume 2057, Model Checking Software, Pages 217-234
- Download PDF (234.2 KB)
Book Chapter
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing
A. Bucchiarone, H. Muccini, P. Pelliccione and P. Pierini
Lecture Notes in Computer Science, 2004, Volume 3236, Applying Formal Methods: Testing, Performance, and M/E-Commerce, Pages 351-365
- Download PDF (214.2 KB)
Book Chapter
Model-Based Quality Assurance of Automotive Software
Jan Jürjens, Daniel Reiß and David Trachtenherz
Lecture Notes in Computer Science, 2008, Volume 5301, Model Driven Engineering Languages and Systems, Pages 858-873
- Download PDF (308.7 KB)
Book Chapter
The complexity of propositional linear temporal logics in simple cases
(Extended abstract)
S. Demri and Ph. Schnoebelen
Lecture Notes in Computer Science, 1998, Volume 1373, STACS 98, Pages 61-72
- Download PDF (891.5 KB)
Book Chapter
“2+1” Pulse Sequence as Applied for Distance and Spatial Distribution Measurements of Paramagnetic Centers
A. Raitsimring
Biological Magnetic Resonance, 2006, Volume 19, Distance Measurements in Biological Systems by EPR, Section III, Pages 461-491
- Download PDF (3.9 MB)

Abstract

In this paper we propose a distributed algorithm for model- checking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in distributed SPIN. A distributed version of the algorithm is presented, and its complexity is discussed.

This work has been supported in part by the Grant Agency of Czech Republic grants

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

SpringerLink

Distributed LTL model-checking in SPIN

View Related Documents

Abstract

Fulltext Preview