Title: Computer Aided Verification
Subjects: Mathematical Logic and Formal Languages, Software engineering, Computer input-output equipment, Computers, Logic design, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Computer science, Artificial intelligence, Special Purpose and Application-Based Systems