Sciweavers

Share
TPHOL
2008
IEEE

A Brief Overview of HOL4

9 years 4 months ago
A Brief Overview of HOL4
The HOL4 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 HOL4 system and how it may be applied in formal verification.
Konrad Slind, Michael Norrish
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where TPHOL
Authors Konrad Slind, Michael Norrish
Comments (0)
books