Handbook of model checking - Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick (Springer, 2018)
Keywords: Computer Science; Computer systems-Handbooks, manuals, etc; Mathematical Logic and Foundations; Mathematics of Computing; Performance and Reliability; Quality Control, Reliability, Safety and Risk; Software Engineering/Programming and Operating Systems; Theory of Computation