Advertisement

SMC: A symmetry based model checker for verification of liveness properties

  • A. P. Sistla
  • L. Miliades
  • V. Gyuris
Tool Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1254)

References

  1. [ES93]
    Emerson, E. A., Sistla, A. P.: Symmetry and Model Checking. 5th International Conference on Computer Aided Verification (CAV93), Crete, Greece, June 1993Google Scholar
  2. [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
  3. [GS97]
    Gyuris, V., Sistla, A. P.: On-the-Fly Model Checking under Fairness that Exploits Symmetry. CAV97, Haifa, Izrael, June 1997Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • A. P. Sistla
    • 1
  • L. Miliades
    • 1
  • V. Gyuris
    • 2
  1. 1.Electrical Engineering and Computer Science DepartmentThe University of Illinois at ChicagoUSA
  2. 2.Mathematics, Statistics and Computer Science DepartmentThe University of Illinois at ChicagoUSA

Personalised recommendations