Elimination of Detached Regions in Dependency Graph Verification.

Peter Gjøl Jensen Kim Guldstrand Larsen Jirí Srba Nikolaj Jensen Ulrik

Published in: SPIN (2023)

Keyphrases

dependency graph
dependency graphs
data structure
model checking
input image
image regions
salient features
information systems
formal methods
verification method