iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by YoungMin Kwon Articles by Gul Agha

Second International Conference on the Quantitative Evaluation of Systems (QEST'05)

Torino, Italy

September 19-September 22

ISBN: 0-7695-2427-3

	ASCII Text	x
	YoungMin Kwon, Gul Agha, "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs," Quantitative Evaluation of Systems, International Conference on, pp. 245-246, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005.

	BibTex	x
	@article{ 10.1109/QEST.2005.14, author = {YoungMin Kwon and Gul Agha}, title = {iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2005}, isbn = {0-7695-2427-3}, pages = {245-246}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2005.14}, 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 - iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs SN - 0-7695-2427-3 SP245 EP246 A1 - YoungMin Kwon, A1 - Gul Agha, PY - 2005 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER -

YoungMin Kwon, University of Illinois at Urbana-Champaign

Gul Agha, University of Illinois at Urbana-Champaign

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2005.14

iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a tool to estimate a Markov transition matrix, and iLTLChecker, a tool to model check iLTL properties of DTMCs. These tools work together to verify iLTL properties of DTMCs.

Citation:

YoungMin Kwon, Gul Agha, "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs," qest, pp.245-246, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.