Chocolat/SMV: A Translator from CafeOBJ into SMV

descriptionPublicationkeyboard_double_arrow_right Article , Conference object 01 Jan 2005Publisher:IEEEJournal:Sixth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'05)

Authors: Kazuhiro Ogata 0001; Masahiro Nakano; Masaki Nakamura 0001; Kokichi Futatsugi;

doi: 10.1109/pdcat.2005.98

Chocolat/SMV: A Translator from CafeOBJ into SMV

- Summary
- Metrics

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.

Related Organizations

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

1

Average

Fields of Science

engineering and technology

electrical engineering, electronic engineering, information engineering

Fields of Science

engineering and technology

electrical engineering, electronic engineering, information engineering

Upload OA version

Are you the author of this publication? Upload your Open Access version to Zenodo!

It’s fast and easy, just two clicks!

uploadUpload now