Title :
Chocolat/SMV: A Translator from CafeOBJ into SMV
Author :
Ogata, Kazuhiro ; Nakano, Masahiro ; Nakamura, Masaki ; Futatsugi, Kokichi
Author_Institution :
NEC Software Hokuriku, Ltd.
Abstract :
Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The primary purpose of the translation is to find errors lurked in CafeOBJ specifications of OTSs with SMV.
Keywords :
Authentication; Chromium; Equations; Information science; National electric code; Protocols; Specification languages; State-space methods;
Conference_Titel :
Parallel and Distributed Computing, Applications and Technologies, 2005. PDCAT 2005. Sixth International Conference on
Print_ISBN :
0-7695-2405-2
DOI :
10.1109/PDCAT.2005.98
