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