Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Checking properties of safety critical specifications using efficient decision procedures
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Algebraic Models of Superscalar Microprocessor Implementations: A Case Study
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Formally Verifying Data and Control with Weak Reachability Invariants
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Formal Verification of a Complex Pipelined Processor
Formal Methods in System Design
Instantiation-based invariant discovery
NFM'11 Proceedings of the Third international conference on NASA Formal methods
| Hi-index | 0.00 |