Publikation: Symbolic Causality Checking Using SAT-Solving
Lade...
Dateien
Datum
2014
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Technical Report, Chair for Software Engineering, University of Konstanz; soft-14-02
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Working Paper/Technical Report
Publikationsstatus
Published
Erschienen in
Zusammenfassung
Causality Checking is an automated technique supporting a formal causality analysis of system models. In this paper we present a symbolic variant of causality checking. The proposed approach is based on bounded model checking and SAT solving. We show that this symbolic approach leads to a causality checking method which is efficient for large and complex systems. The technique is evaluated on industrial sized system models and compared to an existing explicit state causality checking approach.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690
BEER, Adrian, Uwe KÜHNE, Florian LEITNER-FISCHER, Stefan LEUE, Rüdiger PREM, 2014. Symbolic Causality Checking Using SAT-SolvingBibTex
@techreport{Beer2014Symbo-30241,
year={2014},
series={Technical Report, Chair for Software Engineering, University of Konstanz},
title={Symbolic Causality Checking Using SAT-Solving},
number={soft-14-02},
author={Beer, Adrian and Kühne, Uwe and Leitner-Fischer, Florian and Leue, Stefan and Prem, Rüdiger}
}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/30241">
<dc:creator>Kühne, Uwe</dc:creator>
<dc:rights>terms-of-use</dc:rights>
<foaf:homepage rdf:resource="http://localhost:8080/"/>
<dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
<dc:contributor>Leitner-Fischer, Florian</dc:contributor>
<dc:contributor>Beer, Adrian</dc:contributor>
<dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/30241/3/Beer_0-282925.pdf"/>
<dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-03-12T13:00:18Z</dcterms:available>
<dc:contributor>Prem, Rüdiger</dc:contributor>
<dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/30241/3/Beer_0-282925.pdf"/>
<dcterms:title>Symbolic Causality Checking Using SAT-Solving</dcterms:title>
<dc:creator>Prem, Rüdiger</dc:creator>
<dc:creator>Leue, Stefan</dc:creator>
<dc:language>eng</dc:language>
<dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-03-12T13:00:18Z</dc:date>
<dcterms:issued>2014</dcterms:issued>
<dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
<void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
<dc:creator>Beer, Adrian</dc:creator>
<dc:contributor>Leue, Stefan</dc:contributor>
<dc:contributor>Kühne, Uwe</dc:contributor>
<dc:creator>Leitner-Fischer, Florian</dc:creator>
<bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/30241"/>
<dcterms:abstract xml:lang="eng">Causality Checking is an automated technique supporting a formal causality analysis of system models. In this paper we present a symbolic variant of causality checking. The proposed approach is based on bounded model checking and SAT solving. We show that this symbolic approach leads to a causality checking method which is efficient for large and complex systems. The technique is evaluated on industrial sized system models and compared to an existing explicit state causality checking approach.</dcterms:abstract>
</rdf:Description>
</rdf:RDF>Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Ja
