Formal methods for ranking counterexamples through assumption mining.
Srobona MitraAnsuman BanerjeePallab DasguptaPublished in: DATE (2012)
Keyphrases
- formal methods
- formal analysis
- knowledge based systems
- artificial intelligence
- model checker
- model checking
- provably correct
- safety critical
- formal specification
- process algebra
- data mining
- ranking algorithm
- knowledge discovery
- web search
- heterogeneous information networks
- text mining
- development lifecycle
- reactive systems
- learning to rank
- modeling language
- frequent patterns
- data mining techniques
- metamodel
- temporal logic
- databases
- web mining
- knowledge acquisition
- software engineering
- machine learning
- formal specification language