Trustworthy tools for trustworthy programs: a mechanically verified verification condition generator for the total correctness of procedures

Authors:
Peter Vincent Homeier
Affiliations:
Univ. of California
Venue:
Trustworthy tools for trustworthy programs: a mechanically verified verification condition generator for the total correctness of procedures
Year:
1996

Citing 0
Cited 3

Theorem Prover Support for Precondition and Correctness Calculation

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A program logic for resources

Theoretical Computer Science
State Spaces --- The Locale Way

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract