Login / Signup
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.
Alexander Knüppel
Thomas Thüm
Carsten Pardylla
Ina 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