The essence of formal verification is the modeling, analysis, and, ultimately, understanding of large reactive systems. How do many parts interact to produce appropriate global behavior? How are properties guaranteed over all the possible variations of timing, non-deterministic behavior of components, and a dynamically changing environment?

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • David L. Dill
    • 1
  1. 1.Department of Computer ScienceStanford UniversityUSA

Personalised recommendations