SpinCause : A Tool for Causality Checking
| Type of Publication: | Contribution to a conference collection |
| URI (citable link): | http://nbn-resolving.de/urn:nbn:de:bsz:352-0-277999 |
| Author: | Leitner-Fischer, Florian; Leue, Stefan |
| Year of publication: | 2014 |
| Conference: | SPIN 2014 : 21st International Symposium on Model Checking of Software, Jul 21, 2014 - Jul 23, 2014, San Jose, CA |
| Published in: | 2014 International SPIN Symposium on Model Checking of Software (SPIN) : Proceedings, July 21-23, 2014, San Jose, CA, USA / Neha Rungta ... (ed.). - New York, NY : ACM, 2014. - pp. 117-120. - ISBN 978-1-4503-2452-6 |
| DOI (citable link): | https://dx.doi.org/10.1145/2632362.2632371 |
| Summary: |
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.
|
| Subject (DDC): | 004 Computer Science |
| Link to License: | In Copyright |
| Bibliography of Konstanz: | Yes |
Cite This
Files in this item
![[PDF]](/themes/Kops/images/mimes/pdf.png "PDF file"){kind=small}
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"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <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: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 | 429 |
This item appears in the following Collection(s)
Search KOPS
Browse
My Account
