Login / Signup

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

Matthias DanglStefan LöwePhilipp Wendler
Published in: TACAS (2015)
Keyphrases
  • floating point
  • transformation rules
  • program synthesis
  • database
  • object oriented databases
  • recursive programs