Sciweavers

Share
PDCAT
2005
Springer

Chocolat/SMV: A Translator from CafeOBJ into SMV

10 years 8 months ago
Chocolat/SMV: A Translator from CafeOBJ into SMV
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.
Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura,
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where PDCAT
Authors Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi
Comments (0)
books