Verified program support environments
Conference proceedings on Formal methods in software development
Formally verifying a microprocessor using a simulation methodology
DAC '94 Proceedings of the 31st annual Design Automation Conference
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
Formal specification and verification of hardware: a comparative case study
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory
Formal Methods in System Design
Automated Verification of Behavioral Equivalence for Microprocessors
IEEE Transactions on Computers
Correct interactive transformational synthesis of DSP hardware
EURO-DAC '91 Proceedings of the conference on European design automation
| Hi-index | 0.01 |