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