Login / Signup
Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
Alessandro Cimatti
Alberto Griggio
Ahmed Irfan
Marco Roveri
Roberto Sebastiani
Published in:
CoRR (2018)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
artificial intelligence
dynamic programming
information security
formal specification
model checker
reactive systems