HolBA

MaRDI QIDQ5974985swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-030-58768-0_11

Described by source

• Hoare-style logic for unstructured programs

Cited in

(6)

• GNATprove
• RGITL
• ARMor
• Cloc
• Loop verification with invariants and contracts
• TrABin

This page was built for software: HolBA