Title: Computer Aided Verification
Subjects: Symbolic and mathematical Logic, Software engineering, Software Engineering, Instrumentation Electronics and Microelectronics, Logic design, Logics and Meanings of Programs, Computer science, Electronics, Mathematical Logic and Foundations, Computer Science, Computer-aided engineering