KOPS - The Institutional Repository of the University of Konstanz

Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)

Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)

Cite This

Files in this item

Checksum: MD5:54ddb86d0f8899f49e84a32629ec97b8

DIETSCH, Daniel, Marius GREITSCHUS, Matthias HEIZMANN, Jochen HOENICKE, Alexander NUTZ, Andreas PODELSKI, Christian SCHILLING, Tanja SCHINDLER, 2018. Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution). TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, TACAS 2018. Thessaloniki, Apr 14, 2018 - Apr 20, 2018. In: BEYER, Dirk, ed., Marieke HUISMAN, ed.. Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018. Cham:Springer International Publishing, pp. 452-456. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-319-89962-6. Available under: doi: 10.1007/978-3-319-89963-3_31

@inproceedings{Dietsch2018Ultim-53645, title={Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)}, year={2018}, doi={10.1007/978-3-319-89963-3_31}, number={10806}, isbn={978-3-319-89962-6}, issn={0302-9743}, address={Cham}, publisher={Springer International Publishing}, series={Lecture Notes in Computer Science}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018}, pages={452--456}, editor={Beyer, Dirk and Huisman, Marieke}, author={Dietsch, Daniel and Greitschus, Marius and Heizmann, Matthias and Hoenicke, Jochen and Nutz, Alexander and Podelski, Andreas and Schilling, Christian and Schindler, Tanja} }

<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/53645"> <dc:creator>Schilling, Christian</dc:creator> <dc:contributor>Hoenicke, Jochen</dc:contributor> <dc:creator>Greitschus, Marius</dc:creator> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53645"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Schilling, Christian</dc:contributor> <dc:contributor>Nutz, Alexander</dc:contributor> <dc:contributor>Dietsch, Daniel</dc:contributor> <dc:contributor>Greitschus, Marius</dc:contributor> <dc:contributor>Podelski, Andreas</dc:contributor> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53645/1/Dietsch_2-47to71lzthxu0.pdf"/> <dc:creator>Heizmann, Matthias</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53645/1/Dietsch_2-47to71lzthxu0.pdf"/> <dc:creator>Schindler, Tanja</dc:creator> <dcterms:abstract xml:lang="eng">Ultimate Taipan is a software model checker that uses trace abstraction and abstract interpretation to prove correctness of programs. In contrast to previous versions, Ultimate Taipan now uses dynamic block encoding to obtain the best precision possible when evaluating transition formulas of large block encoded programs.</dcterms:abstract> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-05-11T10:11:31Z</dcterms:available> <dc:creator>Nutz, Alexander</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-05-11T10:11:31Z</dc:date> <dcterms:title>Ultimate Taipan with Dynamic Block Encoding : (Competition Contribution)</dcterms:title> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Hoenicke, Jochen</dc:creator> <dcterms:issued>2018</dcterms:issued> <dc:contributor>Heizmann, Matthias</dc:contributor> <dc:contributor>Schindler, Tanja</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Podelski, Andreas</dc:creator> <dc:rights>Attribution 4.0 International</dc:rights> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Dietsch, Daniel</dc:creator> </rdf:Description> </rdf:RDF>

Downloads since May 11, 2021 (Information about access statistics)

Dietsch_2-47to71lzthxu0.pdf 14

This item appears in the following Collection(s)

Attribution 4.0 International Except where otherwise noted, this item's license is described as Attribution 4.0 International

Search KOPS


Browse

My Account