Formal Modeling and Verification of Microprocessors
IEEE Transactions on Computers
A Practical Methodology for the Formal Verification of RISC Processors
Formal Methods in System Design
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Validation of HOL Proofs by Proof Checking
Formal Methods in System Design
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Typing a multi-language intermediate code
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards the animation of proofs---testing proofs by examples
Theoretical Computer Science - Special issue on theories of types and proofs
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification
IEEE Transactions on Software Engineering
Symbolic Functional Evaluation
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Formal Methods Diffusion: Past Lessons and Future Prospects
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
HOTOS'05 Proceedings of the 10th conference on Hot Topics in Operating Systems - Volume 10
Three Paradigms of Computer Science
Minds and Machines
| Hi-index | 0.01 |