Login / Signup
Efficient verification of multi-property designs (The benefit of wrong assumptions).
Eugene Goldberg
Matthias Güdemann
Daniel Kroening
Rajdeep Mukherjee
Published in:
DATE (2018)
Keyphrases
</>
computationally expensive
case study
desirable properties
machine learning
data structure
multiresolution
cost effective
simplifying assumptions