Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
IEEE Transactions on Software Engineering
Formal verification in a commercial setting
DAC '97 Proceedings of the 34th annual Design Automation Conference
Formalizing space shuttle software requirements: four case studies
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Mechanically Checked Proof of the AMD5K86TM Floating-Point Division Program
IEEE Transactions on Computers
Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View
Formal Methods in System Design
Floating Point Verification in HOL Light: The Exponential Function
Formal Methods in System Design
Efficient Simulation of Formal Processor Models
Formal Methods in System Design
Nuts and bolts of core and SoC verification
Proceedings of the 38th annual Design Automation Conference
Towards a mechanically checked theory of computation: the ACL2 project
Logic-based artificial intelligence
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
Formal Methods in System Design
Structured Theory Development for a Mechanized Logic
Journal of Automated Reasoning
Journal of Automated Reasoning
Verifying the FM9801 Microarchitecture
IEEE Micro
Proving Theorems About Java-Like Byte Code
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Symbolic Simulation: An ACL2 Approach
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
Correctness of Pipelined Machines
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Formal Verification of Designs with Complex Control by Symbolic Simulation
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Journal of Automated Reasoning
A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study
NOCS '07 Proceedings of the First International Symposium on Networks-on-Chip
Efficient execution in an automated reasoning environment
Journal of Functional Programming
Proving Fairness and Implementation Correctness of a Microkernel Scheduler
Journal of Automated Reasoning
Validating low-level instructions for fixnums using BDDs
Proceedings of the 2010 international conference on Lisp
Structured specifications for better verification of heap-manipulating programs
FM'11 Proceedings of the 17th international conference on Formal methods
Formalization of the DE2 language
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Refinement and theorem proving
SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Formal Analysis of SystemC Designs in Process Algebra
Fundamenta Informaticae
A complete proof system for propositional projection temporal logic
Theoretical Computer Science
A parallelized theorem prover for a logic with parallel execution
ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
| Hi-index | 0.00 |