Inductive theorem proving for design specifications
type: Item
instance of: scholarly article
title: Inductive theorem proving for design specifications
zbMATH Open document ID: 0849.68112
author: Peter Padawitz
published in: Journal of Symbolic Computation
publication date: 1996-07-18T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 906764
zbMATH Keywords: inductive theorem proving
zbMATH Keywords: Horn logic
MaRDI profile type: Publication
OpenAlex ID: W2024792743
DOI: 10.1006/JSCO.1996.0003
Recommended article: Q4934147
Recommended article: Q4249033
Recommended article: Inductive proofs by specification transformations
Recommended article: Design for proof: An approach to the design of domain-specific languages
Recommended article: Q3807646
Recommended article: Q4028347
Recommended article: Q4702601
Recommended article: Focused Inductive Theorem Proving
Recommended article: Proofs in parameterized specifications
Recommended article: Q3490953
description: scientific article; zbMATH DE number 906764