SpinCause : A Tool for Causality Checking

Leitner-Fischer, Florian; Leue, Stefan

SpinCause : A Tool for Causality Checking

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2014

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Beitrag zu einem Konferenzband

Publikationsstatus

Published

Erschienen 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, 2014, pp. 117-120. ISBN 978-1-4503-2452-6. Available under: doi: 10.1145/2632362.2632371

Zusammenfassung

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.

Fachgebiet (DDC)

004 Informatik

Konferenz

SPIN 2014 : 21st International Symposium on Model Checking of Software, 21. Juli 2014 - 23. Juli 2014, San Jose, CA

Zitieren

ISO 690

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. Juli 2014 - 23. Juli 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, 2014, pp. 117-120. ISBN 978-1-4503-2452-6. Available under: doi: 10.1145/2632362.2632371

BibTex

@inproceedings{LeitnerFischer2014SpinC-30240,
  year={2014},
  doi={10.1145/2632362.2632371},
  title={SpinCause : A Tool for Causality Checking},
  isbn={978-1-4503-2452-6},
  publisher={ACM},
  address={New York, NY},
  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: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/server/rdf/resource/123456789/30240">
    <dc:creator>Leitner-Fischer, Florian</dc:creator>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-03-12T12:43:31Z</dcterms:available>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <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>
    <dc:contributor>Leitner-Fischer, Florian</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-03-12T12:43:31Z</dc:date>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/30240/1/Leitner-Fischer_0-277999.pdf"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:language>eng</dc:language>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/30240/1/Leitner-Fischer_0-277999.pdf"/>
    <dcterms:title>SpinCause : A Tool for Causality Checking</dcterms:title>
    <dcterms:issued>2014</dcterms:issued>
    <dc:rights>terms-of-use</dc:rights>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/30240"/>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Ja