An Exercise in Automatic Program Verification

DOI10.1109/TSE.1979.230183MaRDI QIDQ3206284zbMATH OpenFDO

Authors Wolfgang Polak

Publication date 1979

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

zbMATH Keywords

theorem provinginductive assertionsautomatic program verification

Mathematics Subject Classification ID

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

This page was built for publication: An Exercise in Automatic Program Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3206284)