Implementation-level verification of algorithms with KeY.
Daniel BrunsWojciech MostowskiMattias UlbrichPublished in: Int. J. Softw. Tools Technol. Transf. (2015)
Keyphrases
- orders of magnitude
- data structure
- theoretical analysis
- computational cost
- learning algorithm
- data mining
- highly optimized
- recently developed
- computational efficiency
- computationally efficient
- worst case
- probabilistic model
- clustering algorithm
- machine learning
- data sets
- higher level
- database systems
- efficient implementation
- hardware implementation
- levels of abstraction
- software implementation