Talk on HW Formal Methods Workshop @Hongkong

In this talk, I introduced the history of model checking and our recent work in this topic.