Covering step graph

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

Volumn 1091, Issue , 1996, Pages 516-535

  Vernadat, François ^a   Azéma, Pierre ^a   Michel, François ^a  

^a LAAS CNRS   (France)

Author keywords

Concurrent systems; Partial order; State space exploration; Verification methods

Indexed keywords

SPACE RESEARCH;

CONCURRENT SYSTEMS; INDEPENDENT TRANSITIONS; LABELLED TRANSITION SYSTEMS; OBSERVATIONAL EQUIVALENCES; PARTIAL ORDER; PARTIAL-ORDER METHODS; STATE SPACE EXPLORATION; VERIFICATION METHOD;

PETRI NETS;

EID: 84957635405     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_28     Document Type: Conference Paper

References (13)

1. [FM 90] J. Fernandez, L. Mounier Verifying Bísimulatíon on the Fly 3 rd. Int. Conf on Formal Description Techniques, Madrid, 1990
2. [GW 91] P. Godefroid, P. Wolper Using Partial Orders for efficient verification of deadlock freedom and safety properties In Computer Aided Verification, 1991, LNCS 575
3. [GP 93] P. Godefroid, D. Pirotin Refining Dependencies Improves Partial-Order verification methods In Computer Aided Verification, 1993, LNCS 697
4. :93, 1993. LNCS 668
5. [HM 85] M. Hennessy, R. Milner Algebraic Laws for Nondeterminism and Concurrency Journal of the A.C.M Volume 32 1985
6. [Jen 87] K. JENSEN Coloured Petri Nets. In Brauer, W., Reisig, W. fc Rozenberg, G. (Ed.): Petri Nets: Central Models and their Properties. Advances in Petri Nets LNCS 254
7. [PF 90] D. H. Pitt, D. Freestone The derivation of conformance tests from lotos specifications IEEE Transactions on Software Engineering, 16(12), 1990
8. [McMil 95] K. L. McMillan Trace theoretic verification of asynchro nous circuits using unfoldings In Computer Aided Verification, 1995, LNCS 939
9. [Maz 87] A. Mazurkiewicz Trace Theory In "Petri Nets: Applications and Relationship to other models of concurrency" LNCS 255
10. [Mil 85] R. MILNER Communication and Concurrency Prentice Hall.
11. [Rei 85] W. Reisig Petri Nets: an Introduction EATCS, Monographs on Theoretical Computer Science, Springer Verlag, 1985
12. [Val 89] A. VALMARI Stubborn Sets for reduced state space generation 10 th Int. Conf on Application and Theory of Petri Nets, Bonn, 1989, LNCS 483
13. [WG 93] P. Wolper, P. Godefroid Partial Order Methods for Temporal Verification Proceedings of CONCUR'93, LNCS 715