Sign in
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.
Fujun Wang
Zining Cao
Lixing Tan
Hui Zong
Published in:
IEEE Access (2020)
Keyphrases
</>
future directions
formal methods
learning process
lessons learned
open questions
case study
expert systems
learning objects
learning systems
formal analysis
current challenges