Title: Computer Aided Verification
Subjects: Computer software, verification, Computer science, Computer network architectures, Software engineering, Logic design, Logics and Meanings of Programs, Software Engineering/Programming and Operating Systems, Mathematical Logic and Formal Languages, Computer Systems Organization and Communication Networks