Title: Computer aided verification
Subjects: Congresses, Electronic digital computers, Evaluation, Verification, Computer software, Computer software, verification, Integrated circuits, Electronic digital computers, evaluation