Author of the publication

The Deductive Theory Manager: A Knowledge Based System for Formal Verification.

, , , , , and . S&P, page 306-318. IEEE Computer Society, (1990)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Methods Fact vs. Fiction., , , and . TRI-Ada, page 256-258. ACM, (1994)Specification and Verification of the ASOS Kernel., , , and . S&P, page 61-75. IEEE Computer Society, (1990)Deductive evaluation: formal code analysis with low user burden.. FormaliSE@ICSE, page 1-7. ACM, (2016)Unit Lemmas for Detecting Requirement and Specification Flaws., , and . ISSRE Workshops, page 163-164. IEEE, (2020)Provable transient recovery for frame-based, fault-tolerant computing systems., and . RTSS, page 275-278. IEEE Computer Society, (1992)High-automation proofs for properties of requirements models.. Int. J. Softw. Tools Technol. Transf., 3 (1): 20-31 (2000)Formalizing New Navigation Requirements for NASA's Space Shuttle.. FME, volume 1051 of Lecture Notes in Computer Science, page 160-178. Springer, (1996)Polygon Merge: A Geometric Algorithm Verified Using PVS., and . NFM, volume 12673 of Lecture Notes in Computer Science, page 79-94. Springer, (2021)The Deductive Theory Manager: A Knowledge Based System for Formal Verification., , , , , and . S&P, page 306-318. IEEE Computer Society, (1990)Formalizing Space Shuttle Software Requirements: Four Case Studies., and . ACM Trans. Softw. Eng. Methodol., 7 (3): 296-332 (1998)