Title :
Model Checking, the technology and the tools
Author_Institution :
Fac. EEMCS, Delft Univ. of Technol., Delft, Netherlands
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;
Conference_Titel :
System Engineering and Technology (ICSET), 2012 International Conference on
Conference_Location :
Bandung
Print_ISBN :
978-1-4673-2375-8
DOI :
10.1109/ICSEngT.2012.6339364
