On-the-fly model checking under fairness that exploits symmetry

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1254, Issue , 1997, Pages 232-243

  Gyuris, Viktor ^a   Sistla, A Prasad ^b  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

^b University of Illinois at Chicago   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED ANALYSIS;

MEMORY USAGE; NOVEL TECHNIQUES; ON THE FLIES; ON-THE-FLY ALGORITHMS; REACHABILITY GRAPHS; RUNNING TIME;

MODEL CHECKING;

EID: 84947439379     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63166-6_24     Document Type: Conference Paper

References (10)

1. Aho, A. V., Hopcroft, J., Ullman, J. D.: The Design and Analysis of Computer Algorithms. Addison-Wesley (1974)
2. Bhat, G., Cleaveland, R., Grumberg, O.: Efficient On-the-Fly Modelchecking for CTL. International Conference on Logic in Computer Science, San Diego, California, 1995
3. Clarke, E. M., Emerson, E. A., Sistla, A. P.: Automatic Verification of Finite State Concurrent Programs. using Temporal Logic: A Practical Approach, Proceedings of the ACM Symposium on Principles of Programming Languages, January 1983, Austin, Texas, Also appeared in ACM TOPLAS, April 1986
4. Clarke, E. M., Filkorn, T., Jha, S.: Exploiting Symmetry in Temporal Logic Model Checking. 5th International Conference on Computer Aided Verification, Crete, Greece, June 1993.
5. Emerson, E. A., Sistla, A. P.: Symmetry and Model Checking. 5th International Conference on Computer Aided Verification, Crete, Greece, June 1993
6. Emerson, E. A., Sistla, A. P.: Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. 7th International Conference on Computer Aided Verification, Leige, Belgium, July 1995
7. Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems. Lecture Notes in Computer Science 1032 Springer, 1996
8. Holzmann, G.J., Peled, D.: The State of SPIN. 8th Intl. Conference on Computer Aided Verification, July 1996
9. Ip, C. N., Dill, D. L.: Better Verification through Symmetry. Intl. Symposium on Computer Hardware Description Languages and their Application, April 1993. Also in Formal Methods in System Design 9 1/2 (1996) 41-75
10. Kurshan, R. P.: Computer Aided Verification of Coordinated Processes: The Automata Theoretic Approach. Princeton Univerity Press, Princeton NJ (1994)