Disjunctive image computation for embedded software verification.

Chao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta

Browse the full DATE paper archive.