ILTLChecker: A probabilistic model checker for multiple DTMCs

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 245-246

  Kwon, YoungMin ^a   Agha, Gui ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE TIME MARKOV CHAINS (DTMC); MARKOV TRANSITION MATRIX; PROBABILISTIC MODEL CHECKER;

MARKOV PROCESSES; MATHEMATICAL MODELS; MATRIX ALGEBRA; PARAMETER ESTIMATION;

PROBABILISTIC LOGICS;

EID: 33847255083     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.14     Document Type: Conference Paper

References (6)

1. C. Baier, J.P. Katoen, and H. Hermanns. Approximate symbolic model checking of continuous-time markov chains. In CONCUR, LNCS 1664, pages 146-162, 1999.
2. Crossbow Technology, Inc. http://www.xbow.com/.
3. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. In Formal Aspects of Computing, volume 6, pages 512-535, 1994.
4. iLTL Checker, http://osl.cs.uiuc.edu/~ykwon.
5. Orna Lichtenstein and Amir Pnueli. Checking that finite state concurrent programs satisfy their linear specification. 1984.
6. YoungMin Kwon and Gul Agha. Linear Inequality LTL (iLTL): A model checker for discrete time markov chains. In Int. Conf. on Formal engineering Methods. LNCS 3308, Springer-Verlag, 2004.