Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs.
Yuma MatsumotoNaoki KobayashiHiroshi UnnoPublished in: APLAS (2015)
Keyphrases
- higher order
- automated verification
- model checking
- automated reasoning
- real time
- tree traversal
- formal verification
- tree structure
- markov random field
- information processing
- pairwise
- artificial intelligence
- efficient processing
- high order
- natural images
- data processing
- hierarchical structure
- constraint satisfaction
- conditional random fields
- tree structures
- expert systems
- decision trees