SpinCause : A Tool for Causality Checking

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:1dce6618af3b62fe8a1f36a0f7133419

LEITNER-FISCHER, Florian, Stefan LEUE, 2014. SpinCause : A Tool for Causality Checking. SPIN 2014 : 21st International Symposium on Model Checking of Software. San Jose, CA, 21. Jul 2014 - 23. Jul 2014. In: NEHA RUNGTA ..., , ed.. 2014 International SPIN Symposium on Model Checking of Software (SPIN) : Proceedings, July 21-23, 2014, San Jose, CA, USA. SPIN 2014 : 21st International Symposium on Model Checking of Software. San Jose, CA, 21. Jul 2014 - 23. Jul 2014. New York, NY:ACM, pp. 117-120. ISBN 978-1-4503-2452-6. Available under: doi: 10.1145/2632362.2632371

@inproceedings{LeitnerFischer2014SpinC-30240, title={SpinCause : A Tool for Causality Checking}, year={2014}, doi={10.1145/2632362.2632371}, isbn={978-1-4503-2452-6}, address={New York, NY}, publisher={ACM}, booktitle={2014 International SPIN Symposium on Model Checking of Software (SPIN) : Proceedings, July 21-23, 2014, San Jose, CA, USA}, pages={117--120}, editor={Neha Rungta ...}, author={Leitner-Fischer, Florian and Leue, Stefan} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/30240"> <dc:creator>Leitner-Fischer, Florian</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/30240"/> <dcterms:title>SpinCause : A Tool for Causality Checking</dcterms:title> <dc:contributor>Leitner-Fischer, Florian</dc:contributor> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/30240/1/Leitner-Fischer_0-277999.pdf"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-03-12T12:43:31Z</dc:date> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:language>eng</dc:language> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/30240/1/Leitner-Fischer_0-277999.pdf"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:abstract xml:lang="eng">In this paper we present the SpinCause tool for causality checking of Promela and PRISM models. We give an overview of the capabilities of SpinCause and briefly sketch how the causality checking algorithms are integrated into the state-space exploration algorithms used for model checking. In addition we compare the runtime and memory needed for causality checking with the different state-space exploration algorithms and two newly proposed iterative causality checking approaches.</dcterms:abstract> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-03-12T12:43:31Z</dcterms:available> <dcterms:issued>2014</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 12.03.2015 (Informationen über die Zugriffsstatistik)

Leitner-Fischer_0-277999.pdf 98

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto