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

Frank CiesinskiFrank Ciesinski, Christel BaierChristel Baier

DOI Link

Frank Ciesinski, Christel Baier
LiQuor: A tool for Qualitative and Quantitative Linear Time Analysis of Reactive Systems
Proceedings of the 3rd Quantitative Evaluation of Systems (QEST), 131--132, 2006. IEEE Computer Society Press

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{CB2006,
  author    = {Frank Ciesinski and Christel Baier},
  title     = {LiQuor: A tool for Qualitative and Quantitative Linear Time
               Analysis of Reactive Systems},
  booktitle = {Proceedings of the 3rd Quantitative Evaluation of Systems (QEST)},
  publisher = {IEEE Computer Society Press},
  year      = {2006},
  pages     = {131--132},
  doi       = {10.1109/QEST.2006.25}
}