NASA NTRS · 19840017245
Automatic Construction of Verification Generators from Hoare Logics
Abstract
A method for mechanically constructing verification condition generators from a useful class of Hoare logics is defined. Any verification condition generator constructed is shown to be sound and deduction complete with respect to the associated Hoare logic. The method was implemented.
Keep this discovery
Explore connections, maps & timelines
Moriconi, M., Schwartz, R. L.. 1983-08-01. Automatic Construction of Verification Generators from Hoare Logics. https://ntrs.nasa.gov/citations/19840017245
Cite the original work for its findings. Save a collection to share your selection of sources.