1,261 followers
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. https://t.co/7ydkf1EoY6
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. https://t.co/7ydkf1EoY6
"Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF. (arXiv:1801.08718v1 [cs.LO])" #arXiv https://t.co/bubqjHkYqQ