Computer Aided Verificationby Alexandra Silva, K. Rustan M. LeinoWriting a summary for young readers…For young readersBook data: Open Library