Parallel breadth-first search LTL model-checking

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 106-115

  Barnat, Jiří ^a   Brim, Luboš ^a   Chaloupka, Jakub ^a  

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

CLUSTERING ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS;

BREADTH-FIRST-SEARCH; CLUSTERS OF WORKSTATIONS; DEPTH FIRST; LTL MODEL-CHECKING; ON-THE-FLY ALGORITHMS; OPTIMISATIONS;

MODEL CHECKING;

EID: 85083132922     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240299     Document Type: Conference Paper

References (13)

1. J. Barnat, L. Brim, and J. Stříbrná. Distributed LTL Model-Checking in SPIN. In M. B. Dwyer, editor, Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), volume 2057 of LNCS, pages 217-234. Springer-Verlag, 2001.
2. J. Barnat, L. Brim, and I. Černá. Property Driven Distribution of Nested DFS. In Proceedinfs of the 3rd International Workshop on Verification and Computational Logic (VCL'02 - held at the PLI 2002 Symposium), pages 1-10. University of Southampton, UK, Technical Report DSSE-TR-2002-5 in DSSE, 2002.
3. L. Brim, I. Černá, P. Krčál, and R. Pelánek. Distributed LTL model checking based on negative cycle detection. In R. Hariharan, M. Mukund, and V. Vinay, editors, Proceedings of Foundations of Software Technology and Theoretical Computer Science (FST-TCS'01), volume 2245 of LNCS, pages 96-107. Springer Verlag, 2001.
4. I. Cerná and R. Pelánek. Distributed explicit fair cycle detection. In T. Ball and S. K. Rajamani, editors, Model Checking Software, 10th International SPIN Workshop, volume 2648 of LNCS, pages 49-73. Springer-Verlag, 2003.
5. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
6. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. MIT, 1990.
7. C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design, 1:275-288, 1992.
8. S. Edelkamp, A. Lluch-Lafuente, and S. Leue. Directed model-checking in HSF-SPIN. In M. B. Dwyer, editor, 8th International SPIN Workshop, number 2057 in LNCS, pages 57-79. Springer, 2001.
9. R. Hojati, H. Touati, R. P. Kurshan, and R. K. Brayton. Efficient omega-regular language containment. In G. von Bochmann and D. K. Probst, editors, Computer Aided Verification: Proc. of the Fourth International Workshop CAV'92, pages 396-409. Springer, Berlin, Heidelberg, 1993.
10. G. J. Holzmann. The model checker SPIN. Software Engineering, 23(5):279-295, 1997.
11. F. Lerda and R. Sisto. Distributed-memory model checking with SPIN. In Proceedings of the 6th International SPIN Workshop on Model Checking of Software (SPIN'99), volume 1680 of LNCS, Berlin, 1999. Springer-Verlag.
12. R. Tarjan. Depth First Search and Linear Graph Algorithms. SIAM journal on computing, pages 146-160, Januar 1972.
13. M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. 1st Symp. on Logic in Computer Science, pages 332-344, Cambridge, June 1986.