The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification.
Norbert TihanyiTamás BisztrayRidhi JainMohamed Amine FerragLucas C. CordeiroVasileios MavroeidisPublished in: CoRR (2023)
Keyphrases
- formal verification
- model checking
- model checker
- bounded model checking
- artificial intelligence
- automated verification
- generative model
- symbolic model checking
- expert systems
- benchmark datasets
- temporal logic
- intelligent systems
- knowledge representation
- synthetic datasets
- case based reasoning
- formal specification
- formal methods
- unsupervised learning
- wide angle