CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).

Matthias Dangl, Stefan Lwe, Philipp Wendler

Browse the full TACAS paper archive.