Login / Signup
Formal Verification of Abstract SystemC Models.
Daniel Große
Hoang Minh Le
Rolf Drechsler
Published in:
Algorithms and Applications for Next Generation SAT Solvers (2009)
Keyphrases
</>
formal verification
statistical models
data sets
model checking
neural network
reinforcement learning
knowledge representation
model selection
orders of magnitude
computational models
model checker