Computing Invariants for Parameter Abstraction

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371252 ◽

2007 ◽

Cited By ~ 11

Author(s):

Yi Lv ◽

Huimin Lin ◽

Hong Pan

Download Full-text