Skip to content
Vinony
English
EnglishDeutschEspañolFrançaisItalianoNederlandsPolskiPortuguêsTiếng ViệtРусскийالعربية한국어中文日本語
EntityQ1375924· pop 18· linked from 76 articles

Hoare logic

Sign in to save

Also known as Floyd–Hoare logic, Hoare rules

formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs

Wikidata facts

Instance of
formal system
Named after
Tony Hoare
Sources (2)

via Wikidata · CC0

Available in 18 languages

via Wikidata sitelinks · CC0