LiQuor: A tool for qualitative and quantitative linear time analysis of reactive systems

Third International Conference on the Quantitative Evaluation of Systems, QEST 2006

Volumn , Issue , 2006, Pages 131-132

  Ciesinski, Frank ^a   Baier, Christel ^a  

^a UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; MARKOV PROCESSES; MODEL CHECKING; PROBABILISTIC LOGICS; SEMANTICS;

LINEAR TIME ANALYSIS; MARKOV DECISION PROCESSES; OPERATIONAL SEMANTICS; REACTIVE SYSTEMS;

SYSTEMS ANALYSIS;

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

References (6)

1. C. Baier, F. Ciesinski, and M. Größer. Probmela: a modeling language for communicating probabilistic systems. In Proc. of the Second ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pages 57-66. IEEE CS Press, 2004.
2. C. Courcoubetis and M. Yannakakis. The complexity of probabilistic verification. Journal of the ACM, 42(4):857-907, 1995.
3. L. de Alfaro. Formal Verification of Probabilistic Systems. PhD thesis, Stanford University, Department of Computer Science, 1997.
4. G. Holzmann. The SPIN Model Checker, Primer and Reference Manual. Addison Wesley, 2003.
5. Joachim Klein and Christel Baier. Experiments with deterministic ω-automata for formulas of linear temporal logic. volume 3845, pages 199-212, 2005.
6. M. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification (preliminary report). Proc. LICS'86, pages 332-344, 1986.