Checking Static Properties Using Conservative SAT Approximations for Reachability.

Pedro Antonino Thomas Gibson-Robinson A. W. Roscoe

Published in: SBMF (2017)

Keyphrases

closed form
search algorithm
desirable properties
state space
structural properties
database
neural network
orders of magnitude
constraint satisfaction