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

Moussa Amrani Levi Lúcio Adrien Bibal

Published in: CoRR (2018)

Keyphrases

formal verification
maximum likelihood
model checking
automated verification
model checker
bounded model checking
symbolic model checking
coloured petri nets
functional verification
artificial intelligence
program slicing
expert systems
object oriented
distributed systems