Login / Signup
Accelerating Bounded Model Checking of Safety Properties.
Ofer Strichman
Published in:
Formal Methods Syst. Des. (2004)
Keyphrases
</>
bounded model checking
model checking
formal verification
data sets
desirable properties
orders of magnitude
structural properties
linear temporal logic
neural network
learning algorithm
cooperative