Handbook of model checking volume 1 - Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick (Switzerland Springer, 2018)
Keywords: Computer systems -- Verification; Logic, Symbolic and mathematical; Software engineering