kmclib: Automated Inference and Verification of Session Types.

Keigo Imai Julien Lange Rumyana Neykova

Published in: CoRR (2021)

Keyphrases

bayesian networks
database
web services
semi automatic
model checking
computer aided
belief networks
automated analysis
databases
information retrieval
case study
image segmentation
data driven
bayesian inference
semi automated
concurrent systems