SYNERGY: a new algorithm for property checking.
Bhargav S. GulavaniThomas A. HenzingerYamini KannanAditya V. NoriSriram K. RajamaniPublished in: SIGSOFT FSE (2006)
Keyphrases
- theoretical analysis
- worst case
- experimental evaluation
- cost function
- dynamic programming
- learning algorithm
- times faster
- search space
- single pass
- improved algorithm
- particle swarm optimization
- linear programming
- high accuracy
- computational cost
- k means
- expectation maximization
- np hard
- classification algorithm
- optimization algorithm
- bayesian networks
- neural network
- machine learning
- selection algorithm
- image segmentation
- matching algorithm
- segmentation algorithm
- objective function
- support vector
- computational complexity
- preprocessing
- significant improvement