LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution).
Tong WuEdoardo ManinoFatimah AljaafariPavlos PetoumenosLucas C. CordeiroPublished in: CoRR (2023)
Keyphrases
- bounded model checking
- machine learning
- model checking
- formal verification
- temporal logic
- linear temporal logic
- multi agent systems
- machine learning algorithms
- feature selection
- decision trees
- formal specification
- natural language processing
- machine learning methods
- data mining
- model checker
- text classification
- information extraction
- cooperative
- reinforcement learning
- object oriented
- finite state
- probability distribution
- learning algorithm