Inductive theorem proving for design specifications

DOI10.1006/jsco.1996.0003zbMath0849.68112OpenAlexW2024792743MaRDI QIDQ1918497

Peter Padawitz

Publication date: 18 July 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2b03380d805c39b9fea1a65653dc52c3181fbae1

zbMATH Keywords

inductive theorem provingHorn logic

Mathematics Subject Classification ID

Related Items

Swinging types=functions+relations+transition systems ⋮ Expander2: Program Verification Between Interaction and Automation