State Delta Verification System
- A system designed to give high confidence regarding microcode performance by utilizing formula that represent isolated states of a computation to check proofs concerning the course of that computation. (NCSC-WA-001-85;)