An algorithm for compositional nonblocking verification using special events.
Colin PilbrowRobi MalikPublished in: Sci. Comput. Program. (2015)
Keyphrases
- experimental evaluation
- dynamic programming
- computational complexity
- preprocessing
- high accuracy
- np hard
- computational cost
- objective function
- improved algorithm
- detection algorithm
- optimization algorithm
- optimal solution
- k means
- experimental study
- classification algorithm
- matching algorithm
- significant improvement
- theoretical analysis
- tree structure
- times faster
- memory requirements
- selection algorithm
- data sets
- estimation algorithm
- single pass
- verification method