Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions

Formal methods play an important role in testing and verifying software quality, especially in modern society with rapid technological updates. Learning-based techniques have been extensively applied to learn (a model or model-free) for formal verification and to learn system specifications, and res...

Full description

Bibliographic Details
Main Authors: Fujun Wang, Zining Cao, Lixing Tan, Hui Zong
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Formal methods
formal specification
formal verification
learning model
learning specification
Online Access:https://ieeexplore.ieee.org/document/9110834/

Internet

https://ieeexplore.ieee.org/document/9110834/

Similar Items