*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