Login / Signup
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
Alexander Knüppel
Thomas Thüm
Carsten Immanuel Pardylla
Ina Schaefer
Published in:
SE/SWM (2019)
Keyphrases
</>
high security
real world
computer vision
object oriented
maximum likelihood
expectation maximization
parameter estimation
databases
artificial intelligence
data model
hidden markov models
input data
sensitivity analysis
parameter settings
parameter tuning
measured data
formal verification
core concepts