Login / Signup

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.

Alexander KnüppelThomas ThümCarsten PardyllaIna Schaefer
Published in: F-IDE@FLoC (2018)
Keyphrases
  • high level
  • open source
  • third party
  • neural network
  • database systems
  • search algorithm
  • evolutionary algorithm
  • application programming interface