WEKO3
インデックスリンク
アイテム
A Specification Translation from behavioral Specification to rewrite Specifications
http://hdl.handle.net/2297/23904
http://hdl.handle.net/2297/23904c28d473f-dc71-4c6e-a7d3-4de0d3f5b5ce
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
TE-PR-NAKAMURA-M-1492.pdf (312.6 kB)
|
|
| Item type | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2017-10-03 | |||||
| タイトル | ||||||
| タイトル | A Specification Translation from behavioral Specification to rewrite Specifications | |||||
| 言語 | ||||||
| 言語 | eng | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | journal article | |||||
| 著者 |
Nakamura, Masaki
× Nakamura, Masaki× Kong, Weiqiang× Ogata, Kazuhiro× Futatsugi, Kokichi |
|||||
| 提供者所属 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 金沢大学理工研究域電子情報学系 | |||||
| 書誌情報 |
IEICE Transactions on Information and Systems 巻 E91-D, 号 5, p. 1492-1503, 発行日 2008-05-01 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0916-8532 | |||||
| NCID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA10826272 | |||||
| DOI | ||||||
| 関連タイプ | isIdenticalTo | |||||
| 識別子タイプ | DOI | |||||
| 関連識別子 | 10.1093/ietisy/e91-d.5.1492 | |||||
| 出版者 | ||||||
| 出版者 | The Institute of Electronics, Information and Communication Engineers = 電子情報通信学会 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 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. | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
