Building Verification Condition Generators by Compositional Extension

DOI10.1016/j.entcs.2006.08.052zbMath1277.68062OpenAlexW2155833178MaRDI QIDQ2864396

A. J. van Leeuwen

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.08.052

zbMATH Keywords

Hoare logicprogramming language semanticsmonadic logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• HasCasl

Cites Work

• Composing monads using coproducts
• Monad-independent Dynamic Logic in HasCasl
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item