Formal Verification of Lock-Free Algorithms.
Gerhard SchellhornSimon BäumlerPublished in: ACSD (2009)
Keyphrases
- formal verification
- significant improvement
- learning algorithm
- times faster
- model checking
- data structure
- computational complexity
- theoretical analysis
- orders of magnitude
- computational cost
- computationally efficient
- benchmark datasets
- data mining techniques
- bounded model checking
- data sets
- artificial intelligence
- data mining