A Note on Synthesis of Inductive Assertions

From MaRDI portal

Publication:3868727

Jump to:navigation, search

DOI10.1109/TSE.1980.230460zbMath0431.68014MaRDI QIDQ3868727

Sanat K. Basu

Publication date: 1980

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

inductive assertions automated program verification input-output specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Mechanical inference of invariants for FOR-loops

This page was built for publication: A Note on Synthesis of Inductive Assertions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3868727&oldid=17489087"