LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems

Frank Ciesinski, Christel Baier
2006 Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)  
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 ω-regular linear time properties by means of automata-based model checking algorithms.
doi:10.1109/qest.2006.25 dblp:conf/qest/CiesinskiB06 fatcat:swnlggsb6jekzluvatprodl5ou