Login / Signup
Refinement through restraint: bringing down the cost of verification.
Liam O'Connor
Zilin Chen
Christine Rizkallah
Sidney Amani
Japheth Lim
Toby C. Murray
Yutaka Nagashima
Thomas Sewell
Gerwin Klein
Published in:
ICFP (2016)
Keyphrases
</>
model checking
formal methods
neural network
expected cost
lower cost
data sets
bayesian networks
objective function
state space
response time
cost sensitive
minimum cost
formal verification
concurrent systems