Login / Signup
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification.
Parosh Aziz Abdulla
Yu-Fang Chen
Giorgio Delzanno
Frédéric Haziza
Chih-Duo Hong
Ahmed Rezine
Published in:
CONCUR (2010)
Keyphrases
</>
high level
hardware designs
formal verification
model checking
bounded model checking
artificial intelligence
face verification
decision theoretic planning
database
data sets
machine learning
information systems
decision making
multiscale
data structure
evolutionary algorithm