Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal verification of iterative algorithms in microprocessors
Proceedings of the 37th Annual Design Automation Conference
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Verifying the SRT Division Algorithm Using Theorem Proving Techniques
Formal Methods in System Design
Modular Verification of SRT Division
Formal Methods in System Design
Divider Circuit Verification with Model Checking and Theorem Proving
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Formal Verification of the VAMP Floating Point Unit
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Formal Verification of the VAMP Floating Point Unit
Formal Methods in System Design
| Hi-index | 0.00 |