"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation.
Sagi KatzOrna GrumbergDaniel GeistPublished in: CHARME (1999)
Keyphrases
- high accuracy
- dynamic programming
- synthetic data
- preprocessing
- pairwise
- parallel implementation
- optimization algorithm
- high precision
- significant improvement
- cost function
- detection method
- fully automatic
- optimization method
- prior knowledge
- quantitative evaluation
- neural network
- formal language
- classification method
- data sets
- main contribution
- theoretical analysis
- markov random field
- computational cost
- k means
- multiresolution
- computational complexity