books.google.com - Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over traditional approaches that are based on simulation, testing, and deductive reasoning. In particular, model checking is automatic...https://books.google.com/books/about/Model_Checking.html?id=Nmc4wEaLXFEC&q=corresponding&utm_source=gb-gplus-shareModel Checking