The Theory and Practice of Deductive Verification of OCaml Programs.
Mário PereiraPublished in: CoRR (2024)
Keyphrases
- symbolic execution
- theoretical framework
- theoretical insights
- object oriented
- deductive reasoning
- real world
- artificial intelligence
- functional programs
- formal methods
- verification method
- domain theory
- hardware designs
- theoretical frameworks
- automatic programming
- formal verification
- data sets
- model checking
- computational model
- machine learning
- neural network
- databases