Sign in

Deductive Verification of Floating-Point Java Programs in KeY.

Rosa AbbasiJonas SchifflEva DarulovaMattias UlbrichWolfgang Ahrendt
Published in: TACAS (2) (2021)
Keyphrases
  • floating point
  • java programs
  • fixed point
  • multi threaded
  • instruction set
  • object oriented
  • java language
  • information systems
  • higher order
  • programming language
  • software components
  • graphics processing units