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: tla-plus

Leslie Lamport and TLA+: Specifying Concurrent Systems Before They Fail

TLA+ combines state-transition modeling, temporal logic and model checking so engineers can find concurrency and distributed-system design errors before implementation.

↗