loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05)
Chocolat/SMV: A Translator from CafeOBJ into SMV
Dalian, China
December 05-December 08
ISBN: 0-7695-2405-2
ASCII Text
x 
 
Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi, "Chocolat/SMV: A Translator from CafeOBJ into SMV," Parallel and Distributed Computing Applications and Technologies, International Conference on, pp. 416-420, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/PDCAT.2005.98,
author = {Kazuhiro Ogata and Masahiro Nakano and Masaki Nakamura and Kokichi Futatsugi},
title = {Chocolat/SMV: A Translator from CafeOBJ into SMV},
journal ={Parallel and Distributed Computing Applications and Technologies, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2405-2},
pages = {416-420},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.98},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel and Distributed Computing Applications and Technologies, International Conference on
TI - Chocolat/SMV: A Translator from CafeOBJ into SMV
SN - 0-7695-2405-2
SP416
EP420
A1 - Kazuhiro Ogata,
A1 - Masahiro Nakano,
A1 - Masaki Nakamura,
A1 - Kokichi Futatsugi,
PY - 2005
KW - null
VL - 0
JA - Parallel and Distributed Computing Applications and Technologies, International Conference on
ER -
 
Kazuhiro Ogata, NEC Software Hokuriku, Ltd.
Masahiro Nakano, School of Information Science, JAIST, Japan
Masaki Nakamura, School of Information Science, JAIST, Japan
Kokichi Futatsugi, School of Information Science, JAIST, Japan
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.
Citation:
Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi, "Chocolat/SMV: A Translator from CafeOBJ into SMV," pdcat, pp.416-420, Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.