Machine learning Solutions to Model Checking: A Brief Literature Review

• Published in: 2022 International Symposium on iNnovative Informatics of Biskra (ISNIB) pp. 1 - 4
• Main Authors: Besbas, Asma, Belaiche, Leyla, Slatnia, Sihem, Kahloul, Laid, Khalgui, Mohamed
• Format: Conference Proceeding
• Language: English
• Published: IEEE 07-12-2022
• Subjects: artificial intelligence; Bibliographies; deep learning; Formal verification; Informatics; Learning systems; Machine learning; Model checking; Reinforcement Learning
• DOI: 10.1109/ISNIB57382.2022.10076160

During the last decades, artificial intelligence (AI) touched many domains of software engineering. One of them is formal verification (FV), where learning methods could improve the performance of several formal verification approaches. Model checking (MC) is one of the FV techniques used to verify systems. In this article, we investigate the direction of the link between MC and one of AI techniques. We survey several related works about how learning can improve MC in its functionalities. Furthermore, we give an overview of some adapted approaches of ML in MC.