Tactical theorem proving in program verification

From MaRDI portal

Revision as of 14:33, 28 November 2024 by Import241128011130 (talk | contribs) (Created automatically from import241128011130)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6488526

Jump to:navigation, search

DOI10.1007/3-540-52885-7_83zbMath1509.68165MaRDI QIDQ6488526

Michael Heisel, Werner Stephan, Wolfgang Reif

Publication date: 28 April 2023

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems ⋮ Planning from second principles ⋮ Reuse of proofs in software verification ⋮ Tactic theorem proving with refinement-tree proofs and metavariables

This page was built for publication: Tactical theorem proving in program verification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6488526&oldid=37941701"