Login / Signup
Automated debugging of missing input constraints in a formal verification environment.
Brian Keng
Andreas G. Veneris
Published in:
FMCAD (2012)
Keyphrases
</>
formal verification
program slicing
model checking
constrained optimization
model checker
real time
constraint satisfaction
symbolic model checking
missing values
bounded model checking
neural network
missing data
global constraints
programming environment
hardware designs