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

SLAM and Static Driver Verifier: Model Checking Real Systems Code

Microsoft's SLAM project brought software model checking to Windows device drivers, using counterexample-guided refinement to verify API usage rules in real C systems code.

↗