Rule-based induction

DOI10.1007/BF01384232zbMath0810.68114MaRDI QIDQ1334895

Holger Busch

Publication date: 26 September 1994

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

software verification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Uses Software

• Oyster

Cites Work

• Rippling: A heuristic for guiding inductive proofs
• Edinburgh LCF. A mechanized logic of computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Rule-based induction