Model Checking Softwareby Bernd Fischer, Jaco GeldenhuysComputer software, verificationComputer simulationWriting a summary for young readers…For young readersBook data: Open Library