A Three-Pronged Verification Approach to Higher-Level Verification Using Graph Data Structures.
Daniel DunbarThomas J. HagedornMark R. BlackburnDinesh VermaPublished in: Syst. (2024)
Keyphrases
- higher level
- data structure
- face verification
- model checking
- low level
- databases
- formal verification
- functional verification
- random walk
- structured data
- lower level
- false acceptance rate
- graph based algorithm
- verification method
- graph model
- efficient data structures
- fingerprint verification
- graph structures
- real world