Login / Signup
Infinite-state invariant checking with IC3 and predicate abstraction.
Alessandro Cimatti
Alberto Griggio
Sergio Mover
Stefano Tonetta
Published in:
Formal Methods Syst. Des. (2016)
Keyphrases
</>
integrated circuit
affine transformation
high level
data abstraction
image processing
databases
affine invariant
decision trees
database systems
information systems
data mining
moment invariants
translation invariant
consistency checking
real time
invariant properties
invariance properties