API Usage Pattern Search Based on Model Checking.
Xue-er DingJun NiuJia WangPublished in: SETTA (2021)
Keyphrases
- model checking
- pattern search
- temporal logic
- formal verification
- model checker
- direct search
- automated verification
- formal specification
- temporal properties
- symbolic model checking
- motion estimation algorithm
- timed automata
- stopping criterion
- computation tree logic
- bounded model checking
- verification method
- epistemic logic
- reinforcement learning
- formal methods
- constrained optimization
- modal logic
- motion estimation
- linear programming
- transition systems
- state space
- multi agent systems