DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing

Yuandong Cyrus Liu, Ton-Chanh Le, Timos Antonopoulos +2

For many decades, advances in static verification have focused on linear integer arithmetic (LIA) programs. Many real-world programs are, however, written with non-linear integer a…