Tactical theorem proving in program verification

From MaRDI portal

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)

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"