Jiri Barnat, Lubos Brim, Jitka Stríbrná  Home/Search
Context Related
| fi.muni.cz/informa...IMURS200010.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fi.muni.cz/info...l.en.iso88591 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed version of the SPIN model checker has not been extended to allow distributed model-checking of LTL formulas. This paper explores 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. (Update)
Cited by: More
Parallel External Directed Model Checking with Linear I/O - Jabbar, Edelkamp (2006) (Correct)
Directed Search for the Verification of Communication Protocols - Lafuente (2003) (Correct)
LTL Model Checking - Pelánek (2003) (Correct)
Similar documents (at the sentence level):
76.3%: Distributed LTL Model-Checking in SPIN - Barnat, Brim, Stribrna (2000) (Correct)
Active bibliography (related documents): More All
0.3: Distributing Timed Model Checking - How the Search Order.. - Behrmann, Hune, Vaandrager (2000) (Correct)
0.2: Formal Verification Of Parameterized Protocols On Branching Networks - Jones (2001) (Correct)
0.2: Model Checking and Random Competition - A Study Using.. - Wißpeintner, Huber.. (2000) (Correct)
Similar documents based on text: More All
0.8: Parallel Breadth-First Search LTL Model-Checking - Jir Barnat Lubos (2003) (Correct)
0.8: How to Employ Reverse Search in Distributed Single.. - Brim, Cerna, Krcal.. (2001) (Correct)
0.6: Property Driven Distribution of Nested DFS - Barnat, Brim, Cerna (2002) (Correct)
Related documents from co-citation: More All
23: Distributed-memory model checking with spin - Lerda, Sisto - 1999
12: Model Checking - Clarke, Grumberg et al. - 1994
11: Achieving scalability in parallel reachability analysis of very large circuits - Heyman, Geist et al. - 2000
BibTeX entry: (Update)
J. Barnat, L. Brim, and J. Stribrna. Distributed LTL model-checking in SPIN. Technical Report FIMURS -2000-10, Faculty of Informatics, Masaryk University, 2000. http://citeseer.ist.psu.edu/article/barnat00distributed.html More
@article{ barnat01distributed,
author = "Jiri Barnat and Lubos Brim and Jitka St{\v{r}}{\'\i}brn{\'a}",
title = "Distributed {LTL} Model-Checking in {SPIN}",
journal = "Lecture Notes in Computer Science",
volume = "2057",
pages = "200+",
year = "2001",
url = "citeseer.ist.psu.edu/article/barnat00distributed.html" }
Citations (may not include all citations):470 Design and Validation of Computer Protocols (context) - Holzmann - 1991
405 Depth first search and linear graph algorithms (context) - Tarjan - 1972
85 Special Issue: Formal Methods in Software Practice (context) - Holzmann, checker et al. - 1997
27 Distributed-memory model checking with spin - Lerda, Sisto - 1999
19 verification system (context) - Dill - 1996
15 Distributed reachability analysis for protocol verification .. (context) - Aggarwal, Alonso et al. - 1987
5 Parallelizing the mur# verifier (context) - Stern, Dill - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.fi.muni.cz/informatics/reports/rep/full.html.en.iso-8859-1): More
DESAM - Approaches to Desambiguation - Pala, Rychly, Smrz (1997) (Correct)
An Algorithm on Interpolating between Two Shapes of a Molecule - Krenek (1997) (Correct)
Bisimulation Equivalence is Decidable for One-Counter Processes - Jancar (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC