Inference of ranking functions for proving temporal properties by abstract interpretation.
Caterina UrbanAntoine MinéPublished in: Comput. Lang. Syst. Struct. (2017)
Keyphrases
- temporal properties
- ranking functions
- abstract interpretation
- model checking
- document retrieval
- ranking algorithm
- web search engines
- web search
- supervised learning
- termination analysis
- formal specification
- static analysis
- machine learning
- possibility theory
- bayesian networks
- language model
- active learning
- formal methods
- search engine