A duplicate of https://zenodo.org/record/5758839.
Reason: The submitter forgot to indicate the DOI before publishing, so it got another one assigned automatically, which is unchangeable

Butkova, Yuliya

Hartmanns, Arnd

Hermanns, Holger

ZENODO

University of Twente Research Information

English

A modest approach to Markov automata

We present a history of Hoare's logic.Comment: 79 pages. To appear in Formal Aspects of Computin

Apt, Krzysztof R.

Olderog, Ernst-Ruediger

arXiv.org e-Print Archive

Fifty years of Hoare's Logic