Efficient Simulation of Formal Processor Models
Formal Methods in System Design
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a mechanically checked theory of computation: the ACL2 project
Logic-based artificial intelligence
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
Journal of Automated Reasoning
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications
An executable formal java virtual machine thread model
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Functional programming and theorem proving for undergraduates: a progress report
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Toward a Practical Module System for ACL2
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
A functional I/O system or, fun for freshman kids
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Automatic verification for interactive graphical programs
Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
The SSP: an example of high-assurance systems engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Verification condition generation via theorem proving
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
| Hi-index | 0.00 |