Title: Computer-aided verification
Subjects: Electronic digital computers, Evaluation, Verification, Computer software