A Brief Overview Assume-Guarantee Reasoning via Learning Seminars/Workshops

Abstract

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.