Citation
Oded Maler. "Verification for Dummies: A Gentle Introduction to Formal Verification and Hybrid Systems". Talk or presentation, 19, August, 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.

Electronic downloads

• slides-verif-new.pdf · application/pdf · 774 kbytes

• HTML

  Oded Maler. <a
  href="http://chess.eecs.berkeley.edu/pubs/477.html"><i>Verification
  for Dummies: A Gentle Introduction to Formal Verification
  and Hybrid Systems</i></a>, Talk or
  presentation,  19, August, 2008.

• Plain text

  Oded Maler. "Verification for Dummies: A Gentle Introduction
  to Formal Verification and Hybrid Systems". Talk or
  presentation,  19, August, 2008.

• BibTeX

  @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}
  }
  

Posted by Hiren D. Patel on 3 Aug 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu..

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.