KOPS - Das Institutionelle Repositorium der Universität Konstanz

Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation

Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:cb1de632e9b5b4e155b41d73e2e913a1

ALJAZZAR, Husain, Matthias KUNTZ, Florian LEITNER-FISCHER, Stefan LEUE, 2010. Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation. the 2010 ICSE Workshop. Cape Town, South Africa, 3. Mai 2010 - 3. Mai 2010. In: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10. the 2010 ICSE Workshop. Cape Town, South Africa, 3. Mai 2010 - 3. Mai 2010. New York, New York, USA:ACM Press, pp. 25. ISBN 978-1-60558-972-5

@inproceedings{Aljazzar2010Direc-6116, title={Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation}, year={2010}, doi={10.1145/1808877.1808883}, isbn={978-1-60558-972-5}, address={New York, New York, USA}, publisher={ACM Press}, booktitle={Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems - QUOVADIS '10}, author={Aljazzar, Husain and Kuntz, Matthias and Leitner-Fischer, Florian and Leue, Stefan} }

<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/6116"> <dc:creator>Aljazzar, Husain</dc:creator> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:issued>2010</dcterms:issued> <dc:contributor>Leue, Stefan</dc:contributor> <dc:creator>Leitner-Fischer, Florian</dc:creator> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <dc:contributor>Aljazzar, Husain</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:38Z</dc:date> <dc:rights>deposit-license</dc:rights> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/6116"/> <dcterms:bibliographicCitation>First publ. in: QUOVADIS '10 : Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems May 3, 2010, Cape Town, South Africa / Carlo Ghezzi. New York, NY : ACM, 2010. pp. 25-32</dcterms:bibliographicCitation> <dcterms:abstract xml:lang="eng">The generation of counterexamples for probabilistic model checking has been an area of active research over the past five years. Tangible outcome of this research are novel directed and heuristic algorithms for efficient generation of probabilistic counterexamples, such as K* and XBF. In this paper we present an empirical evaluation of the efficiency of these algorithms and the well-known Eppstein's algorithm. We will also evaluate the effect of optimizations applied to Eppstein, K* and XBF. Additionally, we will show, how information produced during model checking can be used to guide the search for counterexamples. This is a first step towards automatically generating heuristic functions. The experimental evaluation of the various algorithms is done by applying them to one case study, known from the literature on probabilistic model checking and one case study taken from the automotive industry.</dcterms:abstract> <dcterms:title>Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation</dcterms:title> <dc:creator>Leue, Stefan</dc:creator> <dc:creator>Kuntz, Matthias</dc:creator> <dc:contributor>Kuntz, Matthias</dc:contributor> <dc:language>eng</dc:language> <dc:format>application/pdf</dc:format> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T16:09:38Z</dcterms:available> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

12845.pdf 152

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto