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: liveness

Amir Pnueli and Temporal Logic: Specifying What Programs Must Do Over Time

Amir Pnueli brought temporal logic into program verification, giving concurrent and reactive systems a language for safety, liveness and behavior across time.

↗