logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> ACM Transactions on Software Engineering Methodology
 
 
SMC: a symmetry-based model checker for verification of safety and liveness properties
 
A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson
 
Journal Title: ACM Transactions on Software Engineering Methodology
Date: 2000
Volume: 9
Issue: 2
p. 133 - 166
 
 
 
We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:
http://www.cs.uic.edu/~sistla/tooldesc.ps
For further information about this item go to:
http://doi.acm.org/10.1145/350887.350891
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12