Chocolat/SMV: A Translator from CafeOBJ into SMV

Dalian, China December 05-December 08

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/PDCAT.2005.98

Sixth International Conference on Par ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Kazuhiro Ogata Articles by Masahiro Nakano Articles by Masaki Nakamura Articles by Kokichi Futatsugi

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.