Program verification: the very idea
Communications of the ACM
A computational logic handbook
A computational logic handbook
An approach to systems verification
Journal of Automated Reasoning
Compiler Specification and Verification
Compiler Specification and Verification
A Theory of Programming Language Semantics
A Theory of Programming Language Semantics
An approach to compiler correctness
Proceedings of the international conference on Reliable software
A practical formal semantic definition and verification system for typed lisp.
A practical formal semantic definition and verification system for typed lisp.
Mechanizing structural induction (formal system)
Mechanizing structural induction (formal system)
A verified encrypted packet interface
ACM SIGSOFT Software Engineering Notes
Compiler verification: a bibliography
ACM SIGSOFT Software Engineering Notes
Machine-verified network controllers
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
| Hi-index | 0.00 |