fbPDR: In-depth combination of forward and backward analysis in Property Directed Reachability.

Tobias Seufert Christoph Scholl

Published in: DATE (2019)

Keyphrases

forward and backward
neural network
state space
statistical analysis
computationally efficient
orders of magnitude