Publication:3783512
From MaRDI portal
zbMath0642.68023MaRDI QIDQ3783512
No author found.
Publication date: 1986
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Rippling: A heuristic for guiding inductive proofs, Recursively indefinite databases, Experiments with proof plans for induction, Automatic inductive theorem proving using Prolog, Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation