Automated Verification of Nested DFS.

Jaco C. van de Pol

Published in: FMICS (2015)

Keyphrases

automated verification
model checking
automated reasoning
formal verification
depth first search
temporal logic
graph theory
theorem proving
data sets
neural network
lower bound
knowledge representation
state space
social network analysis
breadth first search