AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.

Yongxin Zhao Hongjian Jiang Jin Lv Sijun Tan Yongjian Li

Published in: SEKE (2021)

Keyphrases

naive bayesian classifier
bayesian classifier
naive bayes
formal specification
artificial intelligence
high level
database
written in natural language
specification language
delay insensitive