Collection

Tag: sri

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.

↗

ARPANET and the First Network of Distant Computers

ARPANET linked research computers through packet-switching nodes, created a community for network protocols, and provided the experimental environment from which Internet architecture emerged.

↗