Login / Signup
Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version).
Eugene Goldberg
Matthias Güdemann
Daniel Kroening
Rajdeep Mukherjee
Published in:
CoRR (2017)
Keyphrases
</>
verification method
machine learning
artificial intelligence
computer vision
metadata
web services
digital libraries
artificial neural networks
special case
computationally efficient