Predicate Abstraction of Programs with Non-linear Computation.

Songtao Xia, Ben Di Vito, Csar A. Muoz

Browse the full ATVA paper archive.