# Fifty years of Hoare's Logic

arXiv: https://arxiv.org/abs/1904.03917 · HTML: https://mlsanity.com/paper/1904.03917/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 8 Apr 2019.

## Built on by (most cited first, 2 of 2)

- [Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs](https://mlsanity.com/paper/2208.07074/) (2022)
- [Verification Modulo Tested Library Contracts](https://mlsanity.com/paper/2604.15533/) (2026)

## Abstract (arXiv)

We present a history of Hoare's logic.