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:
TACAS (1) (2017)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
model checker
formal verification