Title: Computer aided verification
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, Verification, Congresses, Integrated circuits