Verification, Model Checking, and Abstract Interpretationby Bernd Finkbeiner, Thomas WiesWriting a summary for young readers…For young readersBook data: Open Library