ProVerif with Lemmas, Induction, Fast Subsumption, and Much More.
Bruno BlanchetVincent ChevalVéronique CortierPublished in: IEEE Symposium on Security and Privacy (2022)
Keyphrases
- proof search
- description logics
- np complete
- theorem proving
- theorem prover
- neural network
- program synthesis
- linear logic
- constructive induction
- inference rules
- inductive learning
- transitive closure
- concept learning
- inductive inference
- machine learning
- real time
- inductive logic programming
- query language
- artificial neural networks
- database systems
- explanation based learning
- rule induction
- decision trees
- decision making
- learning algorithm
- proof procedure
- real world
- sequence prediction