Scalable Techniques for Formal Verification

This book is about formal verification, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c- puting systems in safety-critical and security-critical applications, it is becoming increasingly important for our well-being to ensure that those systems execute c- rectly. Over the last decade, formal verification has made significant headway in the analysis of industrial systems, particularly in the realm of verification of ha...