Verification, Model Checking, and Abstract Interpretationby Cezara Dragoi, Michael Emmi, Jingbo WangWriting a summary for young readers…For young readersBook data: Open Library