Theorem Proving in Higher Order Logics

DOI10.1007/11541868zbMath1152.68423OpenAlexW2484880499MaRDI QIDQ5477643

Wolfgang J. Paul, Mark A. Hillebrand, Mauro Gargano, Dirk C. Leinenbach

Publication date: 6 July 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11541868

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (5)

Certifying low-level programs with hardware interrupts and preemptive threads ⋮ Balancing the load. Leveraging a semantics stack for systems verification ⋮ Secure Microkernels, State Monads and Scalable Refinement ⋮ On the correctness of upper layers of automotive systems ⋮ Operating system verification---an overview

This page was built for publication: Theorem Proving in Higher Order Logics