C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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