Login / Signup
Effective Robustness Analysis Using Bounded Model Checking Techniques.
Görschwin Fey
André Sülflow
Stefan Frehse
Rolf Drechsler
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2011)
Keyphrases
</>
domain specific
bounded model checking
database
decision trees
image analysis
statistical analysis
orders of magnitude