Verification, Model Checking, and Abstract Interpretationby Rayna Dimitrova, Ori Lahav, Sebastian WolffWriting a summary for young readers…For young readersBook data: Open Library