Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata

(Competition Contribution)
  • Matthias Heizmann
  • Yu-Wen Chen
  • Daniel Dietsch
  • Marius Greitschus
  • Alexander Nutz
  • Betim Musa
  • Claus Schätzle
  • Christian Schilling
  • Frank Schüssele
  • Andreas Podelski
Conference paper

DOI: 10.1007/978-3-662-54580-5_30

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10206)
Cite this paper as:
Heizmann M. et al. (2017) Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata. In: Legay A., Margaria T. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017. Lecture Notes in Computer Science, vol 10206. Springer, Berlin, Heidelberg

Abstract

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.

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  • Matthias Heizmann
    • 1
  • Yu-Wen Chen
    • 1
  • Daniel Dietsch
    • 1
  • Marius Greitschus
    • 1
  • Alexander Nutz
    • 1
  • Betim Musa
    • 1
  • Claus Schätzle
    • 1
  • Christian Schilling
    • 1
  • Frank Schüssele
    • 1
  • Andreas Podelski
    • 1
  1. 1.University of FreiburgFreiburgGermany

Personalised recommendations