Generative AI Augmented Induction-based Formal Verification.
Aman KumarDeepak Narayan GaddePublished in: CoRR (2024)
Keyphrases
- formal verification
- model checking
- artificial intelligence
- machine learning
- model checker
- automated verification
- bounded model checking
- generative model
- expert systems
- case based reasoning
- knowledge representation
- ai systems
- inductive learning
- intelligent systems
- inductive logic programming
- temporal logic
- ai technologies
- symbolic model checking
- discriminative learning
- lecture notes in artificial intelligence
- computational intelligence
- program slicing