KOPS - The Institutional Repository of the University of Konstanz

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

HEIZMANN, Matthias, Yu-Wen CHEN, Daniel DIETSCH, Marius GREITSCHUS, Alexander NUTZ, Betim MUSA, Claus SCHÄTZLE, Christian SCHILLING, Frank SCHÜSSELE, Andreas PODELSKI, 2017. Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution). 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017. Uppsala, Apr 22, 2017 - Apr 29, 2017. In: LEGAY, Axel, ed., Tiziana MARGARIA, ed.. Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Berlin:Springer, pp. 394-398. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-662-54579-9. Available under: doi: 10.1007/978-3-662-54580-5_30

@inproceedings{Heizmann2017Ultim-52520, title={Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)}, year={2017}, doi={10.1007/978-3-662-54580-5_30}, number={10206}, isbn={978-3-662-54579-9}, issn={0302-9743}, address={Berlin}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II}, pages={394--398}, editor={Legay, Axel and Margaria, Tiziana}, author={Heizmann, Matthias and Chen, Yu-Wen and Dietsch, Daniel and Greitschus, Marius and Nutz, Alexander and Musa, Betim and Schätzle, Claus and Schilling, Christian and Schüssele, Frank and Podelski, Andreas} }

<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/52520"> <dcterms:title>Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)</dcterms:title> <dc:contributor>Heizmann, Matthias</dc:contributor> <dcterms:abstract xml:lang="eng">Ultimate Automizer is a software verifier that implements an automata-based approach for the verification of safety and liveness properties. A central new feature that speeded up the abstraction refinement of the tool is an on-demand construction of Floyd-Hoare automata.</dcterms:abstract> <dc:contributor>Musa, Betim</dc:contributor> <dc:creator>Heizmann, Matthias</dc:creator> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52520"/> <dc:contributor>Schilling, Christian</dc:contributor> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Greitschus, Marius</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Greitschus, Marius</dc:contributor> <dc:contributor>Schüssele, Frank</dc:contributor> <dc:creator>Chen, Yu-Wen</dc:creator> <dc:rights>terms-of-use</dc:rights> <dc:creator>Schilling, Christian</dc:creator> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Nutz, Alexander</dc:contributor> <dc:contributor>Schätzle, Claus</dc:contributor> <dc:creator>Dietsch, Daniel</dc:creator> <dc:creator>Musa, Betim</dc:creator> <dcterms:issued>2017</dcterms:issued> <dc:creator>Nutz, Alexander</dc:creator> <dc:contributor>Podelski, Andreas</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dc:contributor>Chen, Yu-Wen</dc:contributor> <dc:contributor>Dietsch, Daniel</dc:contributor> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-01-20T10:05:54Z</dc:date> <dc:creator>Podelski, Andreas</dc:creator> <dc:creator>Schüssele, Frank</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-01-20T10:05:54Z</dcterms:available> <dc:creator>Schätzle, Claus</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account