Bounded Model Checking and Feature Omission Diversity.

Mohammad Amin Alipour Alex Groce

Published in: CoRR (2016)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
neural network
linear temporal logic
simulated annealing
image features
modal logic
integer programming
control flow