Covering step graph preserving failure semantics

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

Volumn 1248, Issue , 1997, Pages 253-270

  Vernadat, François ^a   Michel, François ^a  

^a LAAS CNRS   (France)

Author keywords

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

Indexed keywords

PETRI NETS; SPACE RESEARCH;

CONCURRENT SYSTEMS; FAILURE SEMANTICS; PARTIAL ORDER; STATE SPACE EXPLORATION; VERIFICATION METHOD;

SEMANTICS;

EID: 84862676286     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63139-9_40     Document Type: Conference Paper

References (15)

1. E. BRINKSMA. A theory for the derivation of tests In S. Aggrawal and K. Sabani Eds, PSTV, Vol. VIII. Elsevier Science Publishers B.V., North Holland, 1988
2. J. ESPARZA Model checking using net unfoldings In TAPSOFT’93, 1993, LNCS 668
3. J. FERNANDEZ, L. MOUNIER Verifying Bisimulation on the Fly 3rd Int. Conf on Formal Description Techniques, Madrid, 1990
4. P. GODEFROID, P. WOLPER Using partial orders for efficient verification of deadlock freedom and safety properties 3rd Int. Conf on Computer Aided Verification, 1991, LNCS 575
5. P. GODEFROID, D. PIROTIN Refining Dependencies Improves Partial-Order Verification Methods 5th Int. Conf on Computer Aided Verification, 1993, LNCS 697
6. M. HENNESSY Acceptance trees Journal of the A.C.M Volume 32 1985
7. K. JENSEN Coloured Petri Nets. In Brauer, W., Reisig, W. & Rozenberg, G. (Ed.): Petri Nets: Central Models and their Properties. Advances in Petri Nets LNCS 254
8. K. L. MCMILLAN Trace theoretic verification of asynchronous circuits using unfoldings In Computer Aided Verification, 1995, LNCS 939
9. A. MAZURKIEWICZ Trace Theory In "Petri Nets: Applications and Relationship to other models of concurrency" LNCS 255
10. R. MILNER Communication and Concurrency Prentice Hall.
11. E.R. OLDEROG, C.A. HOARE Specification-Oriented Semantics for Communicating Processes Acta Informatica 23, 1986, pp 9-66
12. D. H. PITT, D. FREESTONE The derivation of conformance tests from LOTOS specifications IEEE Transactions on Software Engineering, 16(12), 1990
13. A. VALMARI Stubborn sets for reduced state space generation 10 th Int. Conf on Application and Theory of Petri Nets, Bonn, 1989, LNCS 483
14. F. VERNADAT, P. AZEMA, F. MICHEL Covering Step Graphs 17 th Int. Conf on Application and Theory of Petri Nets 96, June 24-28 1996, Osaka - Japan, LNCS 1091
15. P. WOLPER, P. GODEFROID Partial Order Methods for Temporal Verification Proceedings of CONCUR’93, LNCS 715