Login / Signup
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.
Laís Andrade
Ruan Carvalho
Anjolina Grisi de Oliveira
Ruy J. G. B. de Queiroz
Published in:
WoLLIC (2013)
Keyphrases
</>
formal proof
theorem prover
model checking
worst case
graph construction
face verification
graph representation
series parallel
formal verification
graph theoretic
bayesian networks
complex structures
graph structure
graph matching
directed graph
formal methods
asynchronous circuits
verification method
pairwise