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

PVS and the Integration of Specification with Interactive Proof

PVS integrated a rich higher-order specification language, type checking, automated decision procedures, and interactive theorem proving into one environment for serious formal verification.

↗