Sciweavers

Share
QEST
2006
IEEE

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

10 years 7 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
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.
Frank Ciesinski, Christel Baier
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where QEST
Authors Frank Ciesinski, Christel Baier
Comments (0)
books