A Brief Overview of HOL4

Select |




Print


Slind, Konrad; Norrish, Michael

Slind, Konrad; Norrish, Michael


2008-08-31


Conference Material


Theorem Proving in Higher Order Logics, 20th International Conference


Montréal, Canada


28-32


The HOL4 proof assistant supports speci?cation 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 HOL4 system and how it may be applied in formal verification.


Springer


http://users.encs.concordia.ca/~tphols08/TPHOLs2008/


nicta:1482


Slind, Konrad; Norrish, Michael. A Brief Overview of HOL4. In: Otmane Ait Mohamed, César Muñoz and Sofiène Tahar Editor, editor/s. Theorem Proving in Higher Order Logics, 20th International Conference; Montréal, Canada. Springer; 2008-08-31. 28-32.



Loading citation data...

Citation counts
(Requires subscription to view)