Skip to main content
KBS_Icon_questionmark link-ico

Biography

Research Interests

  • Formal verification of hardware
  • Formal verification of software
  • Causality
  • Coverage and vacuity
  • Explanation of counterexamples
  • Software testing

More Information