Login / Signup
CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution).
Matthias Dangl
Stefan Löwe
Philipp Wendler
Published in:
TACAS (2015)
Keyphrases
</>
floating point
transformation rules
program synthesis
database
object oriented databases
recursive programs