North Holland Higher Order Logic Theorem Proving Proceedings

Explore the advancements in computer science with this collection of proceedings from the IFIP/WG10.2 International Workshop held in Leuven, Belgium. This volume provides an in-depth look at the HOL system, a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University, and INRIA. Readers gain insight into a wide range of applications, including the verification of hardware designs at all levels, as well as the verification of communication protocols and programs. The text also examines other significant systems based on higher order logic, such as Nuprl and LAMBDA. This academic resource focuses on novel developments in higher order logic and its practical implementations within HOL. It covers formal design and verification methodologies for both hardware and software, making it a valuable reference for those studying computer science and technology.