“On the fly” verification of behavioural equivalences and preorders
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 181-191
- https://doi.org/10.1007/3-540-55179-4_18
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- On automatically distinguishing inequivalent processesPublished by American Mathematical Society (AMS) ,1991
- Memory efficient algorithms for the verification of temporal propertiesPublished by American Mathematical Society (AMS) ,1991
- Safety for branching time semanticsPublished by Springer Nature ,1991
- On-line model-checking for finite linear temporal logic specificationsLecture Notes in Computer Science, 1990
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980