Verification, Model Checking, and Abstract Interpretationby Bernhard Steffen, Giorgio LeviWriting a summary for young readers…For young readersBook data: Open Library