Login / Signup

Refinement through restraint: bringing down the cost of verification.

Liam O'ConnorZilin ChenChristine RizkallahSidney AmaniJapheth LimToby C. MurrayYutaka NagashimaThomas SewellGerwin 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