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

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Frank Ciesinski Articles by Christel Baier

Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)

Riverside, California

September 11-September 14

ISBN: 0-7695-2665-9

	ASCII Text	x
	Frank Ciesinski, Christel Baier, "LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems," Quantitative Evaluation of Systems, International Conference on, pp. 131-132, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006.

	BibTex	x
	@article{ 10.1109/QEST.2006.25, author = {Frank Ciesinski and Christel Baier}, title = {LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2006}, isbn = {0-7695-2665-9}, pages = {131-132}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.25}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Quantitative Evaluation of Systems, International Conference on TI - LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems SN - 0-7695-2665-9 SP131 EP132 A1 - Frank Ciesinski, A1 - Christel Baier, PY - 2006 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER -

Frank Ciesinski, Universitat Bonn, Institut fur Informatik I, Germany

Christel Baier, Universitat Bonn, Institut fur Informatik I, Germany

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2006.25

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.

Citation:

Frank Ciesinski, Christel Baier, "LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems," qest, pp.131-132, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.