Schematic program proofs with abstract execution. Theory and applications

DOI10.1007/s10817-023-09692-0MaRDI QIDQ6552501

Dominic Steinhöfel, Reiner Hähnle

Publication date: 10 June 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

program transformationsymbolic executiondeductive verificationschematic programssecond-order program properties

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Schematic program proofs with abstract execution. Theory and applications