Computer Aided Verification - Silva, Alexandra; Leino, K. Rustan M. (Springer International Publishing, 2021)