A new approach to program verification

DOI10.1016/0045-7906(84)90009-0zbMath0561.68010OpenAlexW1984708782MaRDI QIDQ2266579

Bhabani P. Sinha, Pradip K. Srimani

Publication date: 1984

Published in: Computers and Electrical Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0045-7906(84)90009-0

zbMATH Keywords

loopsmathematical inductionprogram verificationprogram flowchart

Mathematics Subject Classification ID

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

This page was built for publication: A new approach to program verification