Speaker: Bow-Yaw Wang
Time:2009-07-08 ~ 08
Place:Room 408, Bldg 302, SNU


Assume-guarantee reasoning is a technique to alleviate the state explosion problem in formal verification. Constructing assumptions for assume-guarantee reasoning however is not easy; it used to need insights to the design and require human intervention. During the past few years, a new technique based on machine learning was developed to address the assumption making problem. In this talk, I will briefly review the innovative technique and my recent works in assume-guarantee reasoning.


[ List ]