Ultimate Automizer with Two-track Proofs

(Competition Contribution)
  • Matthias Heizmann
  • Daniel Dietsch
  • Marius Greitschus
  • Jan Leike
  • Betim Musa
  • Claus Schätzle
  • Andreas Podelski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9636)

Abstract

Ultimate Automizer is a software verification tool that implements an automata-based approach for the analysis of safety and liveness problems. The version that participates in this year’s competition is able to analyze non-reachability, memory safety, termination, and overflow problems. In this paper we present the new features of our tool as well as the instructions how to install and use it.

References

  1. 1.
    Beyer, D., Dangl, M., Dietsch, D., Heizmann, M., Stahlbauer, A.: Witness validation and stepwise testification across software verifiers. In: ESEC/FSE, pp. 721–733. ACM (2015)Google Scholar
  2. 2.
    Blahoudek, F., Heizmann, M., Schewe, S., Strejcek, J., Tsai, M.-H.: Complementing semi-deterministic Büchi automata. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016, LNCS, vol. 9636, pp. 770–787. Springer, Heidelberg (2016)Google Scholar
  3. 3.
    Christ, J., Hoenicke, J.: Cutting the mix. In: Kroening, D., Păsăreanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 37–52. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  4. 4.
    Heizmann, M., Hoenicke, J., Podelski, A.: Software model checking for people who love automata. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 36–52. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  5. 5.
    Heizmann, M., Hoenicke, J., Podelski, A.: Termination analysis by learning terminating programs. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 797–813. Springer, Heidelberg (2014)Google Scholar
  6. 6.
    Leike, J., Heizmann, M.: Ranking templates for linear loops. Logical Methods Comput. Sci. 11(1:16) (2015)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  • Matthias Heizmann
    • 1
  • Daniel Dietsch
    • 1
  • Marius Greitschus
    • 1
  • Jan Leike
    • 2
  • Betim Musa
    • 1
  • Claus Schätzle
    • 1
  • Andreas Podelski
    • 1
  1. 1.University of FreiburgFreiburg im BreisgauGermany
  2. 2.The Australian National UniversityCanberraAustralia

Personalised recommendations