Verified program support environments
Conference proceedings on Formal methods in software development
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Verified Software: Theories, Tools, Experiments
Hoare logic for realistically modelled machine code
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Hi-index | 0.00 |