Theorem Proving in Higher Order Logics

DOI10.1007/11541868zbMath1152.68524OpenAlexW2484880499MaRDI QIDQ5477655

Claude Marché, Christine Paulin-Mohring

Publication date: 6 July 2006

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

Mathematics Subject Classification ID

Related Items (4)

Semantics, calculi, and analysis for object-oriented specifications ⋮ Reasoning about Assignments in Recursive Data Structures ⋮ Verification by Parallelization of Parametric Code ⋮ An extensible encoding of object-oriented data models in HOL. With an application to IMP++

Uses Software

• KRAKATOA
• PVS
• JML
• LOOP

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