Title: Peer review of a formal verification/design proof methodology
Subjects: Fault-tolerant computing, Congresses, Verification, System design, Computer software