|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
``On the Fly'' Verification of Behavioural Equivalences and Preorder
Jean-Claude Fernandez and Laurent Mounier
Proceedings of the 3rd Workshop on Computer-Aided
Verification (Aalborg, Denmark), July 1991
Abstract:
This paper describes decision procedures for bisimulation and simulation relations between two transition systems. The algorithms proposed here do not need to previously construct transition systems: the verification can be performed during their generation. In addition, diagnosis features are computed when the two transitions systems are not equivalent.
| 13 pages |  |
 PostScript |