Title: Computer Aided Verification
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Integrated circuits, Computer software, verification, Programming Techniques, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics)