Mining assumptions for synthesis

Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) ◽

10.1109/memcod.2011.5970509 ◽

2011 ◽

Author(s):

Wenchao Li ◽

Lili Dworkin ◽

Sanjit A. Seshia

Download Full-text