Alexander Nutz
Alexander Nutz
Verified email at informatik.uni-freiburg.de - Homepage
Title
Cited by
Cited by
Year
SMTInterpol: An interpolating SMT solver
J Christ, J Hoenicke, A Nutz
International SPIN Workshop on Model Checking of Software, 248-254, 2012
1502012
Ultimate automizer with SMTInterpol
M Heizmann, J Christ, D Dietsch, E Ermis, J Hoenicke, M Lindenmann, ...
International Conference on Tools and Algorithms for the Construction and …, 2013
482013
Proof tree preserving interpolation
J Christ, J Hoenicke, A Nutz
International Conference on Tools and Algorithms for the Construction and …, 2013
282013
Ultimate kojak with memory safety checks
A Nutz, D Dietsch, MM Mohamed, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 2015
232015
Ultimate kojak
E Ermis, A Nutz, D Dietsch, J Hoenicke, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–5