# Fifty years of Hoare's Logic

## TL;DR

This paper reviews the development and impact of Hoare's logic over the past fifty years, highlighting its evolution and significance in formal verification.

## Contribution

It provides a comprehensive historical overview of Hoare's logic, emphasizing its foundational role and developments in program verification.

## Key findings

- Hoare's logic has significantly influenced formal methods.
- The logic has evolved to address modern programming challenges.
- Historical insights into its development and applications.

## Abstract

We present a history of Hoare's logic.