A Brief Overview of HOL4

TPHOLs, pp. 28-32, 2008.

Cited by: 216|Bibtex|Views2|Links
EI
Keywords:
holf proof assistantclassical higher order logicsimilar systemshort overviewlong lineMore(5+)

Abstract:

The HOLF proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an outline of the HOLF system and how it may be applied in formal verification.

Code:

Data:

Your rating :
0

 

Tags
Comments