SpinCause : A Tool for Causality Checking

Cite This

Files in this item

Checksum: 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, Jul 21, 2014 - Jul 23, 2014. In: NEHA RUNGTA ..., , ed.. 2014 International SPIN Symposium on Model Checking of Software (SPIN) : Proceedings, July 21-23, 2014, San Jose, CA, USA. 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"/> <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:rights rdf:resource="https://kops.uni-konstanz.de/page/termsofuse"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-03-12T12:43:31Z</dcterms:available> <dc:rights>terms-of-use</dc:rights> <dcterms:issued>2014</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> </rdf:Description> </rdf:RDF>

Downloads since Mar 12, 2015 (Information about access statistics)

Leitner-Fischer_0-277999.pdf 229

This item appears in the following Collection(s)

Search KOPS


Browse

My Account