DocumentCode
2619168
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.
fYear
2006
fDate
11-14 Sept. 2006
Firstpage
131
Lastpage
132
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location
Riverside, CA
Print_ISBN
0-7695-2665-9
Type
conf
DOI
10.1109/QEST.2006.25
Filename
1704003
Link To Document