most citedML + FV = ? A Survey on the Application of Machine Learning to Formal Verification

3 citations · 3 across the 1 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2018★ 3 cited

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…