KestRel: Relational Verification Using E-Graphs for Program Alignment.
Robert DickersonPrasita MukherjeeBenjamin DelawarePublished in: CoRR (2024)
Keyphrases
- symbolic execution
- relational data
- image alignment
- relational databases
- model checking
- directed graph
- relational graph
- verification method
- relational information
- relational structures
- static analysis
- graph theoretic
- graph representation
- graph matching
- face verification
- relational learning
- graph data
- graph databases
- subgraph isomorphism
- program execution
- object oriented
- rewriting rules
- data model
- databases