Analyzing Program Termination and Complexity Automatically with AProVE.
Jürgen GieslCornelius AschermannMarc BrockschmidtFabian EmmesFlorian FrohnCarsten FuhsJera HenselCarsten OttoMartin PlückerPeter Schneider-KampThomas StröderStephanie SwiderskiRené ThiemannPublished in: J. Autom. Reason. (2017)
Keyphrases
- automatically generated
- worst case
- computational complexity
- lower complexity
- static analysis
- space complexity
- multiscale
- information retrieval
- case study
- e learning
- data sets
- artificial neural networks
- artificial intelligence
- decision problems
- genetic algorithm
- complexity analysis
- machine learning
- programming environment
- data mining