Deductive Verification of Floating-Point Java Programs in KeY.

Rosa Abbasi Boroujeni Jonas Schiffl Eva Darulova Mattias Ulbrich Wolfgang Ahrendt

Published in: CoRR (2021)

Keyphrases

floating point
java programs
fixed point
multi threaded
java language
software components
real time
social networks
database systems
test suite