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

NuSMV and Symbolic Model Checking as an Open Tool

NuSMV reengineered the pioneering SMV model checker into an open, modular verification platform that combined symbolic state-space reasoning with a tool architecture suitable for research and industrial experimentation.

↗