Computer Aided Verification (Lecture Notes in Computer Science, 2018)