Distribution of explicit-state LTL model-checking

Electronic Notes in Theoretical Computer Science

Volumn 80, Issue , 2003, Pages 273-278

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

^a MASARYK UNIVERSITY   (Czech Republic)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; COMPUTER WORKSTATIONS; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; HEURISTIC METHODS; LINEAR SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; REAL TIME SYSTEMS;

DISTRIBUTION AND PARALLELIZATION; LINEAR TEMPORAL LOGIC (LTL); LTL PROPERTY; SOFTWARE OPTIMIZATION; VERIFICATION ALGORITHMS;

PARALLEL PROCESSING SYSTEMS;

EID: 18944390268     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80825-9     Document Type: Conference Paper

References (8)

1. Barnat J., L. Brim and J. Stříbrná, Distributed LTL Model-Checking in SPIN, in: Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), LNCS 2057, 2001, pp. 217-234.
2. Barnat J., L. Brim and I. Černá, Property Driven Distribution of Nested DFS, in: VCL 2002, Technical Report DSSE-TR-2002-5 in DSSE, 2002, pp. 1-10.
3. Brim L., Crhová J., Yorav K. Using Assumptions to Distribute CTL Model Checking. PDMC'02. ENTCS 68.4:2002
4. Brim L., Černá I., Krčál P., Pelánek R. Distributed ltl model checking based on negative cycle detection. FSTTCS 2001. number 2245 in LNCS :2001;96-107
5. Brim L., Černá I., Krčál P., Pelánek R. How to employ reverse search in distributed single-source shortest paths. SOFSEM'01. number 2234 in LNCS :2001;191-200
6. Courcoubetis C., Vardi M., Wolper P., Yannakakis M. Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design. 1:1992;275-288
7. Edelkamp S., Lluch-Lafuente A., Leue S. Directed model-checking in HSF-SPIN. 8th International SPIN Workshop. number 2057 in LNCS :2001;57-79
8. Vardi, M. Y. and P. Wolper, An automata-theoretic approach to automatic program verification, in: Proceedings 1st Annual IEEE Symp. on Logic in Computer Science, LICS'86, IEEE Computer Society Press, Washington, DC, 1986 pp. 332-344.