In this book we develop powerful techniques based on formal methods for the verification of ...