Edmund M. Clarke

Handbook of Model Checking

Model Checking, Second Edition

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence