Machine learning Solutions to Model Checking: A Brief Literature Review

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...

Full description

Bibliographic Details

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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!