Disjunctive image computation for embedded software verification

Chao Wang
Zijiang Yang
Aarti Gupta
DATE (2006), pp. 1205-1210

Abstract