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.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Heizmann, Matthias; Christ, Jürgen; Dietsch, Daniel; Ermis, Evren; Hoenicke, Jochen; Lindenmann, Markus; Nutz, Alexander; Schilling, Christian; Podelski, Andreas: Ultimate automizer with smtinterpol. (Competition contribution) (2013)