Title: Computer aided verification
Subjects: Congresses, Verification, Integrated circuits, Computer software, Computer programming