![](/img/cover-not-exists.png)
SMC: a symmetry-based model checker for verification of safety and liveness properties
Sistla, A. Prasad, Gyuris, Viktor, Emerson, E. AllenVolume:
9
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/350887.350891
Date:
April, 2000
File:
PDF, 213 KB
english, 2000