C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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