Verifying Reachability Invariants of Linked Structures.

Published in: POPL (1983)

Keyphrases

state space
model checking
database systems
artificial neural networks
complex structures
transitive closure
machine learning
computer vision
knowledge base
website
object recognition
image structure
structural features
moment invariants