Tai-Hyo Kim

Learn More
As more computing systems are utilized in various areas of our society , the reliability of computing systems becomes a significant issue. However, as the complexity of computing systems increases, conventional verification and validation techniques such as testing and model checking have limitations to assess reliability of complex safety critical systems.(More)
  • 1