Title: Computer Aided Verification
Subjects: Integrated circuits, Computer programs, Computer software, verification