Login / Signup
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model.
Rajdeep Mukherjee
Saurabh Joshi
Andreas Griesmayer
Daniel Kroening
Tom Melham
Published in:
FM (2016)
Keyphrases
</>
high level
management system
objective function
prior knowledge
computational model
mathematical model
data sets
probabilistic model
statistical model
experimental data
neural network model
formal model
decision trees
cost function
np hard
theoretical framework