Quotient for Assume-Guarantee Contracts

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) ◽

10.1109/memcod.2018.8556872 ◽

2018 ◽

Author(s):

Inigo Incer Romeo ◽

Alberto Sangiovanni-Vincentelli ◽

Chung-Wei Lin ◽

Eunsuk Kang

Download Full-text