A Mechanized Proof Environment for the Convenient Computations Proof Method

• 1 January 2003
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 23  (2) , 115-142
• https://doi.org/10.1023/a:1024746015231

Abstract

Keywords

• FORMAL VERIFICATION
• CONVENIENT COMPUTATIONS
• PROOF ENVIRONMENT
• PVS
• DEDUCTIVE THEOREM PROVING