loading...
TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems
Enschede, the Netherlands September 27-September 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10028The Quantitative Evaluation of System ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Nicolas Markey, Philippe Schnoebelen, "TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems," Quantitative Evaluation of Systems, International Conference on, pp. 330-331, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/QEST.2004.10028,
author = {Nicolas Markey and Philippe Schnoebelen},
title = {TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2004},
isbn = {0-7695-2185-1},
pages = {330-331},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10028},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems
SN - 0-7695-2185-1
SP330
EP331
A1 - Nicolas Markey,
A1 - Philippe Schnoebelen,
PY - 2004
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -
 
Nicolas Markey, Universit? Libre de Bruxelles, Belgium
Philippe Schnoebelen, CNRS UMR, France
TSMV is an extension of NuSMV, the open-source symbolic model checker, aimed at dealing with timed versions of (models of) circuits, PLC controllers, protocols, etc. The underlying model is an extension of Kripke structures, where every transition carries an integer duration (possibly zero). This simple model supports efficient symbolic algorithms for RTCTL formulae.
Citation:
Nicolas Markey, Philippe Schnoebelen, "TSMV: A Symbolic Model Checker for Quantitative Analysis of Systems," qest, pp.330-331, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.