DocumentCode
3063336
Title
Chocolat/SMV: A Translator from CafeOBJ into SMV
Author
Ogata, Kazuhiro ; Nakano, Masahiro ; Nakamura, Masaki ; Futatsugi, Kokichi
Author_Institution
NEC Software Hokuriku, Ltd.
fYear
2005
fDate
05-08 Dec. 2005
Firstpage
416
Lastpage
420
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Computing, Applications and Technologies, 2005. PDCAT 2005. Sixth International Conference on
Print_ISBN
0-7695-2405-2
Type
conf
DOI
10.1109/PDCAT.2005.98
Filename
1578947
Link To Document