ACM Transactions on Programming Languages and Systems (TOPLAS)
Single-Threaded Objects in ACL2
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Journal of Automated Reasoning
A reflective functional language for hardware design and theorem proving
Journal of Functional Programming
Verification of executable pipelined machines with bit-level interfaces
ICCAD '05 Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design
A robust machine code proof framework for highly secure applications
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
Efficient execution in an automated reasoning environment
Journal of Functional Programming
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
The Challenge of Hardware-Software Co-verification
Verified Software: Theories, Tools, Experiments
Adapting functional programs to higher order logic
Higher-Order and Symbolic Computation
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
Verification condition generation via theorem proving
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Introducing abstractions via rewriting
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
Hi-index | 0.00 |