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

Kurzanzeige
dc.contributor.authorHeizmann, Matthias
dc.contributor.authorChen, Yu-Wen
dc.contributor.authorDietsch, Daniel
dc.contributor.authorGreitschus, Marius
dc.contributor.authorNutz, Alexander
dc.contributor.authorMusa, Betim
dc.contributor.authorSchätzle, Claus
dc.contributor.authorSchilling, Christian
dc.contributor.authorSchüssele, Frank
dc.contributor.authorPodelski, Andreas
dc.date.accessioned2021-01-20T10:05:54Z
dc.date.available2021-01-20T10:05:54Z
dc.date.issued2017eng
dc.description.abstractUltimate 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.eng
dc.description.versionpublishedeng
dc.identifier.doi10.1007/978-3-662-54580-5_30eng
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/52520
dc.language.isoengeng
dc.rightsterms-of-use
dc.rights.urihttps://rightsstatements.org/page/InC/1.0/
dc.subjectUltimate Automizer, Automata-based Approach, Software Verifiers, Infeasible Traces, Hoare Tripleseng
dc.subject.ddc004eng
dc.titleUltimate Automizer with an On-Demand Construction of Floyd-Hoare Automata (Competition Contribution)eng
dc.typeINPROCEEDINGSeng
dspace.entity.typePublication
kops.citation.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}
}
kops.citation.iso690HEIZMANN, 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_30deu
kops.citation.iso690HEIZMANN, 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, 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_30eng
kops.citation.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>
kops.conferencefield23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, 22. Apr. 2017 - 29. Apr. 2017, Uppsaladeu
kops.date.conferenceEnd2017-04-29eng
kops.date.conferenceStart2017-04-22eng
kops.flag.knbibliographyfalse
kops.location.conferenceUppsalaeng
kops.sourcefieldLEGAY, Axel, ed., Tiziana MARGARIA, ed.. <i>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</i>. 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_30deu
kops.sourcefield.plainLEGAY, 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_30deu
kops.sourcefield.plainLEGAY, 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_30eng
kops.title.conference23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017eng
relation.isAuthorOfPublicationecb6e671-5807-41bc-bb31-f07a9b7a7c63
relation.isAuthorOfPublication.latestForDiscoveryecb6e671-5807-41bc-bb31-f07a9b7a7c63
source.bibliographicInfo.fromPage394eng
source.bibliographicInfo.seriesNumber10206eng
source.bibliographicInfo.toPage398eng
source.contributor.editorLegay, Axel
source.contributor.editorMargaria, Tiziana
source.identifier.eissn1611-3349eng
source.identifier.isbn978-3-662-54579-9eng
source.identifier.issn0302-9743eng
source.publisherSpringereng
source.publisher.locationBerlineng
source.relation.ispartofseriesLecture Notes in Computer Scienceeng
source.titleTools 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 IIeng

Dateien

Sammlungen

Informatik und Informationswissenschaft: Publikationen