Kmclib: Automated Inference and Verification of Session Types from OCaml Programs.
Keigo ImaiJulien LangeRumyana NeykovaPublished in: TACAS (1) (2022)
Keyphrases
- symbolic execution
- data mining
- information retrieval
- case study
- bayesian networks
- semi automatic
- semi automated
- computer aided
- formal verification
- programming environment
- inference engine
- bayesian inference
- random fields
- fully automated
- probabilistic inference
- database
- image segmentation
- artificial intelligence
- databases