Building Formal Method Tools in the Isabelle/Isar Framework
From MaRDI portal
Publication:3523187
DOI10.1007/978-3-540-74591-4_26zbMath1144.68369OpenAlexW119548244MaRDI QIDQ3523187
Burkhart Wolff, Makarius Wenzel
Publication date: 2 September 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74591-4_26
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Semantics, calculi, and analysis for object-oriented specifications ⋮ HOL-Boogie -- an interactive prover-backend for the verifying C compiler ⋮ Verifying feedforward neural networks for classification in Isabelle/HOL ⋮ The Isabelle Framework ⋮ HOL-Boogie — An Interactive Prover for the Boogie Program-Verifier ⋮ Unnamed Item ⋮ Local Theory Specifications in Isabelle/Isar ⋮ Integration of formal proof into unified assurance cases with Isabelle/SACM
Uses Software
This page was built for publication: Building Formal Method Tools in the Isabelle/Isar Framework
