High Level Verification of Control Intensive Systems Using Predicate Abstraction.

Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang

Browse the full MEMOCODE paper archive.