A Brief Overview Assume-Guarantee Reasoning via Learning Seminars/Workshops
|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 ]