Title: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Abstract: Elementary Techniques.- 1. The Basics.- 2. Functional Programming in HOL.- 3. More Functional Programming.- 4. Presenting Theories.- Logic and Sets.- 5. The Rules of the Game.- 6. Sets, Functions, and Relations.- 7. Inductively Defined Sets.- Advanced Material.- 8. More about Types.- 9. Advanced Simplification, Recursion, and Induction.- 10. Case Study: Verifying a Security Protocol.
Publication Year: 2002
Publication Date: 2002-01-01
Language: en
Type: book
Access and Citation
Cited By Count: 2403
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot