AbstractIn this talk I will explain the principles underlying formal verification of discrete event systems. Starting from an example coming from everyday life, I will show how automaton models can be used for simulation, verification and controller synthesis for such systems. The talk will conclude with some hints on how to extend this methodology toward continuous systems defined by differential equations.

@presentation{Maler08_VerificationForDummiesGentleIntroductionToFormalVerification,
author = {Oded Maler},
title = {Verification for Dummies: A Gentle Introduction to
Formal Verification and Hybrid Systems},
day = {19},
month = {August},
year = {2008},
abstract = {In this talk I will explain the principles
underlying formal verification of discrete event
systems. Starting from an example coming from
everyday life, I will show how automaton models
can be used for simulation, verification and
controller synthesis for such systems. The talk
will conclude with some hints on how to extend
this methodology toward continuous systems defined
by differential equations. },
URL = {http://chess.eecs.berkeley.edu/pubs/477.html}
}

Notice:
This material is presented to ensure timely dissemination of scholarly
and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this
information are expected to adhere to the terms and constraints
invoked by each author's copyright.