In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal training
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 deductiv