@article{oai:kanazawa-u.repo.nii.ac.jp:00010010,
 author = {Nakamura, Masaki and Kong, Weiqiang and Ogata, Kazuhiro and Futatsugi, Kokichi},
 issue = {5},
 journal = {IEICE Transactions on Information and Systems},
 month = {May},
 note = {There are two ways to describe a state machine as an algebraic specification: a behavioral specification and a rewrite specification. In this study, we propose a translation system from behavioral specifications to rewrite specifications to obtain a verification system which has the strong points of verification techniques for both specifications. Since our translation system is complete with respect to invariant properties, it helps us to obtain a counter-example for an invariant property through automatic exhaustive searching for a rewrite specification. Copyright © 2008 The Institute of Electronics, Information and Communication Engineers., 金沢大学理工研究域電子情報学系},
 pages = {1492--1503},
 title = {A Specification Translation from behavioral Specification to rewrite Specifications},
 volume = {E91-D},
 year = {2008}
}