Formalizing and implementing Gries' program development method in dynamic logic

DOI10.1016/0167-6423(92)90035-AzbMath0745.68074MaRDI QIDQ1190851

Maritta Heisel

Publication date: 27 September 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

proof methodsprogram developmentKarlsruhe interactive verifier

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: Formalizing and implementing Gries' program development method in dynamic logic