Title :
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
Author :
Ciesinski, F. ; Baier, Christine
Author_Institution :
Inst. fur Informatik I, Bonn Univ.
Abstract :
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics based on (finite) Markov decision processes. LiQuor provides the facility to perform a qualitative or quantitative analysis for omega-regular linear time properties by means of automata-based model checking algorithms
Keywords :
Markov processes; program verification; programming language semantics; specification languages; LiQuor; Probmela programs; automata-based model checking; finite Markov decision processes; operational semantics; probabilistic guarded command language; probabilistic reactive systems; qualitative linear time analysis; quantitative linear time analysis;
Conference_Titel :
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location :
Riverside, CA
Print_ISBN :
0-7695-2665-9
DOI :
10.1109/QEST.2006.25
