• DocumentCode
    1950667
  • Title

    Model Checking, the technology and the tools

  • Author

    Pronk, C.

  • Author_Institution
    Fac. EEMCS, Delft Univ. of Technol., Delft, Netherlands
  • fYear
    2012
  • fDate
    11-12 Sept. 2012
  • Firstpage
    1
  • Lastpage
    2
  • Abstract
    This paper gives a short introduction to the technology of Model Checking together with a few examples where the technology has been used successfully. A number of so-called temporal logics will be discussed, together with the main tool implementing each of the logics.
  • Keywords
    formal verification; temporal logic; model checking; temporal logics; tool-supported technique; Atmospheric modeling; Computational modeling; Explosions; Mathematical model; Protocols; Software; CTL; Hybrid Model Checking; LTL; Model Checking; Prism; Spin; Statistical Model Checking; Temporal logic; Uppaal;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Engineering and Technology (ICSET), 2012 International Conference on
  • Conference_Location
    Bandung
  • Print_ISBN
    978-1-4673-2375-8
  • Type

    conf

  • DOI
    10.1109/ICSEngT.2012.6339364
  • Filename
    6339364
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1950667