학술논문
Chocolat/SMV: A Translator from CafeOBJ into SMV
Document Type
Conference
Author
Source
Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05) Parallel and Distributed Computing, Applications and Technologies, 2005. PDCAT 2005. Sixth International Conference on. :416-420 2005
Subject
Language
ISSN
2379-5352
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.