Isabelle/HOL

• 10 April 2002
• book
• Published by Springer Nature
• https://doi.org/10.1007/3-540-45949-9

Abstract

Keywords

• FORMAL METHODS
• FORMAL REASONING
• FORMAL SPECIFICATION
• FORMAL VERIFICATION
• FUNCTIONAL PROGRAMMING
• HIGHER-ORDER LOGIC
• INTERACTIVE PROOF SYSTEMS
• ISABELLE
• PROOF ASSISTANTS
• PROOF THEORY
• THEOREM PROVING
• TYPE THEORY
• LOGIC
• PREDICATE LOGIC
• VERIFICATION