Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs.

Peter Schrammel, Bertrand Jeannet

Browse the full SAS paper archive.