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: PROMISE (2023)
Keyphrases
- formal verification
- model checking
- artificial intelligence
- model checker
- generative model
- automated verification
- symbolic model checking
- bounded model checking
- expert systems
- benchmark datasets
- knowledge representation
- intelligent systems
- ai systems
- functional verification
- program slicing
- synthetic datasets
- temporal logic
- knowledge based systems
- machine learning
- lecture notes in artificial intelligence
- case based reasoning
- probabilistic model
- reinforcement learning
- database