Part of the Lecture Notes in Computer Science book series (LNCS, volume 1254)
SMC: A symmetry based model checker for verification of liveness properties
Unable to display preview. Download preview PDF.
- [ES93]Emerson, E. A., Sistla, A. P.: Symmetry and Model Checking. 5th International Conference on Computer Aided Verification (CAV93), Crete, Greece, June 1993Google Scholar
- [ES95]Emerson, E. A., Sistla, A. P.: Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach. CAV95, Leige, Belgium, July 1995Google Scholar
- [GS97]Gyuris, V., Sistla, A. P.: On-the-Fly Model Checking under Fairness that Exploits Symmetry. CAV97, Haifa, Izrael, June 1997Google Scholar
© Springer-Verlag Berlin Heidelberg 1997