Publikation:

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

Vorschaubild

Dateien

Zu diesem Dokument gibt es keine Dateien.

Datum

2017

Autor:innen

Heizmann, Matthias
Chen, Yu-Wen
Dietsch, Daniel
Greitschus, Marius
Nutz, Alexander
Musa, Betim
Schätzle, Claus
Schüssele, Frank
Podelski, Andreas

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

URI (zitierfähiger Link)
DOI (zitierfähiger Link)
https://doi.org/10.1007/978-3-662-54580-5_30
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung

Sammlungen

Informatik und Informationswissenschaft: Publikationen
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen 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, 2017, pp. 394-398. Lecture Notes in Computer Science. 10206. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-662-54579-9. Available under: doi: 10.1007/978-3-662-54580-5_30

Zusammenfassung

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.

Zusammenfassung in einer weiteren Sprache

Fachgebiet (DDC)
004 Informatik

Schlagwörter

Ultimate Automizer, Automata-based Approach, Software Verifiers, Infeasible Traces, Hoare Triples

Konferenz

23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, 22. Apr. 2017 - 29. Apr. 2017, Uppsala
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690HEIZMANN, 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, 22. Apr. 2017 - 29. Apr. 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, 2017, pp. 394-398. Lecture Notes in Computer Science. 10206. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-662-54579-9. Available under: doi: 10.1007/978-3-662-54580-5_30
BibTex
@inproceedings{Heizmann2017Ultim-52520,
  year={2017},
  doi={10.1007/978-3-662-54580-5_30},
  title={Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)},
  number={10206},
  isbn={978-3-662-54579-9},
  issn={0302-9743},
  publisher={Springer},
  address={Berlin},
  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: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/52520">
    <dc:creator>Heizmann, Matthias</dc:creator>
    <dc:contributor>Heizmann, Matthias</dc:contributor>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/52520"/>
    <dc:language>eng</dc:language>
    <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>Podelski, Andreas</dc:contributor>
    <dcterms:issued>2017</dcterms:issued>
    <dc:creator>Podelski, Andreas</dc:creator>
    <dc:creator>Nutz, Alexander</dc:creator>
    <dc:creator>Chen, Yu-Wen</dc:creator>
    <dc:contributor>Musa, Betim</dc:contributor>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:creator>Dietsch, Daniel</dc:creator>
    <dc:contributor>Chen, Yu-Wen</dc:contributor>
    <dc:creator>Musa, Betim</dc:creator>
    <dc:creator>Schätzle, Claus</dc:creator>
    <dc:contributor>Dietsch, Daniel</dc:contributor>
    <dc:creator>Schüssele, Frank</dc:creator>
    <dcterms:title>Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)</dcterms:title>
    <dc:contributor>Greitschus, Marius</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-01-20T10:05:54Z</dcterms:available>
    <dc:creator>Greitschus, Marius</dc:creator>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Schüssele, Frank</dc:contributor>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:rights>terms-of-use</dc:rights>
    <dc:contributor>Schilling, Christian</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:contributor>Nutz, Alexander</dc:contributor>
    <dc:contributor>Schätzle, Claus</dc:contributor>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-01-20T10:05:54Z</dc:date>
    <dc:creator>Schilling, Christian</dc:creator>
  </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
Nein
Begutachtet
Diese Publikation teilen