FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Solving difficult SAT instances in the presence of symmetry
Proceedings of the 39th annual Design Automation Conference
Automated Software Engineering
Hints to accelerate Symbolic Traversal
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Journal of Computer Science and Technology
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models
Electronic Notes in Theoretical Computer Science (ENTCS)
An invariant-based approach to the verification of asynchronous parameterized networks
Journal of Symbolic Computation
Speculative reduction-based scalable redundancy identification
Proceedings of the Conference on Design, Automation and Test in Europe
Efficient approximate verification of B and Z models via symmetry markers
Annals of Mathematics and Artificial Intelligence
Exploring structural symmetry automatically in symbolic trajectory evaluation
Formal Methods in System Design
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
Hi-index | 0.00 |