Keynote Speech I: The State of Formal Verification: Model Checking and Beyond

                           Professor E. Allen Emerson, Univ. of Texas, Austin, USA

Abstract:

Formal verification has been a topic of study for over three decades. Now the theory has matured to the point that is often useful in practice. Given the growing prevalence computerized systems in modern society, ensuring their correctness and reliability is thus a topic of increasing importance. We argue that formal verification can contribute substantively in this regard. We consider various obstacles that must be overcome and explain why we think solutions are forthcoming.