THE LIVING ARCHIVE

From punched cards to autonomous collaborators: the ideas, people, languages and systems that taught machines to follow—and increasingly interpret—human intent.

PAST / PRESENT / NEXT

Collection

Tag: formal-verification-and-program-correctness

The Minds Behind Formal Verification and Program Correctness – 7 People Redefining Software

Seven pioneers helped make program correctness something that could be specified, reasoned about, and in important cases proved mathematically.

↗