Title: Verification, Model Checking, and Abstract Interpretation
Subjects: Mathematical Logic and Formal Languages, Programming Techniques, Software engineering, Algorithm Analysis and Problem Complexity, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Computer software