×

Ultimate Automizer

swMATH ID: 7407
Software Authors: Heizmann, Matthias; Christ, Jürgen; Dietsch, Daniel; Ermis, Evren; Hoenicke, Jochen; Lindenmann, Markus; Nutz, Alexander; Schilling, Christian; Podelski, Andreas
Description: Ultimate automizer with smtinterpol. (Competition contribution) Ultimate automizer is an automatic software verification tool for C programs. This tool is the first implementation of trace abstraction, which is an automata-theoretic approach to software verification. The implemented algorithm uses nested interpolants in its interprocedural program analysis. The interpolating SMT solver SMTInterpol is used to compute Craig interpolants.
Homepage: http://ultimate.informatik.uni-freiburg.de/automizer/
Related Software: SMTInterpol; CBMC; AProVE; z3; CIL; SymDiff; PySMT; MathSAT5; Uppaal; Yices; Ultimate Taipan; Skink; Ultimate Kojak; CPAchecker; BLAST; FuncTion; Apron; Boogie; Spacer; UFO
Referenced in: 5 Publications

Standard Articles

1 Publication describing the Software Year
Ultimate automizer with smtinterpol. (Competition contribution)
Heizmann, Matthias; Christ, Jürgen; Dietsch, Daniel; Ermis, Evren; Hoenicke, Jochen; Lindenmann, Markus; Nutz, Alexander; Schilling, Christian; Podelski, Andreas
2013

Referenced in 1 Serial

1 Formal Methods in System Design

Referencing Publications by Year