Title: Guidelines for formal verification systems
Subjects: Computer programs, Verification, Electronic data processing departments, Security measures