NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Automatic Construction of Verification Generators from Hoare LogicsA 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.
Document ID
19840017245
Acquisition Source
Legacy CDMS
Document Type
Other
Authors
Moriconi, M. (SRI International Corp. Menlo Park, CA, United States)
Schwartz, R. L. (SRI International Corp. Menlo Park, CA, United States)
Date Acquired
August 12, 2013
Publication Date
August 1, 1983
Publication Information
Publication: Invest., Develop., and Evaluation of Performance Proving for Fault-Tolerant Computers
Subject Category
Computer Programming And Software
Accession Number
84N25313
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.

Related Records

IDRelationTitle19840017239Collected WorksInvestigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers
No Preview Available