C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation.
Christopher H. BroadbentArnaud CarayolMatthew HagueOlivier SerrePublished in: CoRR (2017)
Keyphrases
- higher order
- model checking
- verification method
- markov random field
- pairwise
- low order
- natural images
- high order
- conditional random fields
- temporal logic
- markov models
- lambda calculus
- asynchronous circuits
- formal verification
- evolutionary algorithm
- formal methods
- formal analysis
- signature verification
- expert systems
- data structure
- artificial intelligence
- learning algorithm