Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The security of static typing with dynamic linking
Proceedings of the 4th ACM conference on Computer and communications security
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Formal Verification of Dynamic Properties in an Aerospace Application
Formal Methods in System Design
Modular Verification of SRT Division
Formal Methods in System Design
A Mechanically Checked Proof of Correctness of the AMD K5 Floating Point Square Root Microcode
Formal Methods in System Design
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
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Structural Embeddings: Mechanization with Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Proof-assistants using dependent type systems
Handbook of automated reasoning
Industrial Strength Formal Verification Techniques for Hardware Designs
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Formal Verification of the VAMP Floating Point Unit
Formal Methods in System Design
Automated deduction for verification
ACM Computing Surveys (CSUR)
A novel implementation of radix-4 floating-point division/square-root using comparison multiples
Computers and Electrical Engineering
| Hi-index | 0.00 |