Sign in

AnB2Murphi: A Translator for Converting AliceBob Specifications to Murphi.

Yongxin ZhaoHongjian JiangJin LvSijun TanYongjian 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