A Complete Bounded Model Checking Algorithm for Pushdown Systems.
Gérard BaslerDaniel KroeningGeorg WeissenbacherPublished in: Haifa Verification Conference (2007)
Keyphrases
- computational complexity
- experimental evaluation
- optimization algorithm
- times faster
- learning algorithm
- objective function
- detection algorithm
- dynamic programming
- np hard
- recognition algorithm
- solution space
- cost function
- significant improvement
- search space
- preprocessing
- k means
- computational cost
- probabilistic model
- worst case
- general purpose
- high accuracy
- expectation maximization
- matching algorithm
- bayesian networks
- search strategy
- genetic algorithm
- neural network