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: lightweight-formal-methods

Daniel Jackson and Alloy: Lightweight Formal Methods Through Automated Model Finding

Daniel Jackson’s Alloy paired a compact relational modeling language with automatic bounded analysis, making counterexample-driven formal modeling fast enough to fit exploratory software design.

↗