Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
IEEE Transactions on Software Engineering
A Mechanization of Unity in PC-NQTHM-92
Journal of Automated Reasoning
A Milestone Reached and a Secret Revealed
Journal of Automated Reasoning
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)
Automating the Search for Answers to Open Questions
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Rewriting for Symbolic Execution of State Machine Models
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Efficient execution in an automated reasoning environment
Journal of Functional Programming
The Challenge of Hardware-Software Co-verification
Verified Software: Theories, Tools, Experiments
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Pervasive verification of an OS microkernel: inline assembly, memory consumption, concurrent devices
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Dafny: an automatic program verifier for functional correctness
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Experience report: a do-it-yourself high-assurance compiler
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |