Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification.
Pierre GantyAhmed RezinePublished in: LATA (2014)
Keyphrases
- semantic relations
- multiresolution analysis
- data sets
- hardware designs
- bounded model checking
- formal methods
- ordered sets
- high level
- relational databases
- model checking
- asynchronous circuits
- signature verification
- functional verification
- decision theoretic planning
- causal relations
- temporal relations
- face verification
- n gram
- multiscale
- search engine
- learning algorithm
- neural network