*banner
 

Verification for Dummies: A Gentle Introduction to Formal Verification and Hybrid Systems
Oded Maler

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

Citation formats  
  • 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 Patel on 3 Aug 2008.
Groups: chess
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.
©2002-2018 Chess