Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani

Browse the full TACAS paper archive.