SpinCause : A Tool for Causality Checking

Lade...
Vorschaubild
Dateien
Leitner-Fischer_0-277999.pdf
Leitner-Fischer_0-277999.pdfGröße: 103.5 KBDownloads: 378
Datum
2014
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
SPIN 2014 : 21st International Symposium on Model Checking of Software, 21. Juli 2014 - 23. Juli 2014, San Jose, CA
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690LEITNER-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>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
Begutachtet
Diese Publikation teilen