Kevin Hulin

Learn More
Formal verification techniques such as model checking (MC) and theorem proving (TP) have found increasingly widespread use in the design of critical digital systems as a means to ensure their functional correctness. However, both MC and TP have their limitations. TP generally requires non-trivial human intervention, and MC is limited by the state explosion(More)
  • 1