ML + FV = $♡$? A Survey on the Application of Machine Learning to Formal Verification

Moussa Amrani, Levi Lúcio, Adrien Bibal

Formal Verification (FV) and Machine Learning (ML) can seem incompatible due to their opposite mathematical foundations and their use in real-life problems: FV mostly relies on dis…