Software Verification Based on Linear Programming. - S. Dellacherie; Samuel Devulder; Jean-Luc Lambert (World Congress on Formal Methods, 1999)