DiPro : A Tool for Probabilistic Counterexample Generation

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:f12add3bd5ace79bf4589c1ebccf0580

ALJAZZAR, Husain, Florian LEITNER-FISCHER, Stefan LEUE, Dimitar SIMEONOV, 2011. DiPro : A Tool for Probabilistic Counterexample Generation. In: GROCE, Alex, ed., Madanlal MUSUVATHI, ed.. Model Checking Software. Berlin, Heidelberg:Springer Berlin Heidelberg, pp. 183-187. ISBN 978-3-642-22305-1

@inproceedings{Aljazzar2011DiPro-14780, title={DiPro : A Tool for Probabilistic Counterexample Generation}, year={2011}, doi={10.1007/978-3-642-22306-8_13}, number={6823}, isbn={978-3-642-22305-1}, address={Berlin, Heidelberg}, publisher={Springer Berlin Heidelberg}, series={Lecture Notes in Computer Science}, booktitle={Model Checking Software}, pages={183--187}, editor={Groce, Alex and Musuvathi, Madanlal}, author={Aljazzar, Husain and Leitner-Fischer, Florian and Leue, Stefan and Simeonov, Dimitar} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/14780"> <dc:contributor>Simeonov, Dimitar</dc:contributor> <dcterms:abstract xml:lang="eng">The computation of counterexamples for probabilistic model checking has been an area of active research over the past years. In spite of the achieved theoretical results in this field, there is no freely available tool that allows for the computation and representation of probabilistic counterexamples. We present an open source tool called DiPro that can be used with the PRISM and MRMC probabilistic model checkers. It allows for the computation of probabilistic counterexamples for discrete time Markov chains (DTMCs), continuous time Markov chains (CTMCs) and Markov decision processes (MDPs). The computed counterexamples can be rendered graphically.</dcterms:abstract> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:issued>2011</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-08-31T22:25:04Z</dcterms:available> <dcterms:title>DiPro : A Tool for Probabilistic Counterexample Generation</dcterms:title> <dcterms:bibliographicCitation>First publ. in: Model checking software : proceedings ; 18th International SPIN Workshop, Snowbird, UT, USA, July 14 - 15, 2011 / Alex Groce ; Madanlal Musuvathi (ed.). - Berlin ; Heidelberg : Springer, 2011. - pp. 183-187. - (Lecture notes in computer science ; 6823). - ISBN 978-3-642-22305-1</dcterms:bibliographicCitation> <dc:contributor>Aljazzar, Husain</dc:contributor> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/14780"/> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dc:creator>Simeonov, Dimitar</dc:creator> <dc:rights>deposit-license</dc:rights> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-12-07T07:33:59Z</dc:date> <dc:language>eng</dc:language> <dc:creator>Aljazzar, Husain</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leitner-Fischer_DiPro.pdf 158

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto