HolBA

swMATH40808MaRDI QIDQ5974985FDOQ5974985

Author name not available (Why is that?)

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)

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

This page was built for software: HolBA