From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Towards distributed verification of petri nets properties
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
Hi-index | 0.00 |