Titlebook: Handbook of Model Checking; Edmund M. Clarke,Thomas A. Henzinger,Roderick Bloe Book 2018 Springer International Publishing AG, part of Spr

handle

Explicit-State Model Checking,e techniques can be used to extend the reach of this form of verification to very large system sizes. The basic algorithms for explicit-state model checking date from the late 1970s and early 1980s. More advanced versions of these algorithms remain an active area of research.

Fibrin

BDD-Based Symbolic Model Checking,fication as well, and several BDD-based model checkers for Boolean programs and push-down systems have been developed. In this chapter, we summarize some of the key concepts and techniques that have emerged in this story of successful practical verification.

幼稚