Login / Signup

Chocolat/SMV: A Translator from CafeOBJ into SMV.

Kazuhiro OgataMasahiro NakanoMasaki NakamuraKokichi Futatsugi
Published in: PDCAT (2005)
Keyphrases
  • symbolic model checking
  • model checking
  • formal verification
  • general purpose
  • machine learning
  • artificial intelligence
  • partial observability