Hassen Saïdi

A Tool for Proving Invariance Properties of Concurrent Systems Automatically.

In Proceedings of 2nd International Workshop, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 412--416, Passau, Germany, March 1996. Lecture Notes in Computer Science 1055, Springer-Verlag.


Tool Presentation.

Click here to get the postscript file of the full paper.