TY  - RPRT
TI  - Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF
AU  - Alessandro Cimatti
AU  - Alberto Griggio
AU  - Ahmed Irfan
AU  - Marco Roveri
AU  - Roberto Sebastiani
PY  - 2018
DO  - 10.1007/978-3-662-54577-5_4
UR  - https://arxiv.org/abs/1801.08718
ID  - 1801.08718
ER  -