Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC

Weiqiang Kong, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

1 引用 (Scopus)

抜粋

Hierarchical State Transition Matrix (HSTM) is a table-based modeling language that has been broadly used for developing software designs of embedded systems. In this paper, we describe a model checker Garakabu2, which we have been implementing for verifying HSTM designs against LTL properties. The HSTM designs that Garakabu2 takes as input are those developed using an industrial-strength model-based development tool ZIPC. We focus on describing Garakabu2's verification techniques and performance as well as our effort to improve its practical usability for on-site software engineers. Some experience and lebons on developing industry-oriented model checkers are also reported.

元の言語英語
ホスト出版物のタイトルProceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015
出版者Institute of Electrical and Electronics Engineers Inc.
ページ21-29
ページ数9
ISBN(電子版)9781509002900
DOI
出版物ステータス出版済み - 3 15 2016
イベント2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015 - Wuhan, Hubei, 中国
継続期間: 11 16 201511 19 2015

出版物シリーズ

名前Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015

その他

その他2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015
中国
Wuhan, Hubei
期間11/16/1511/19/15

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Science Applications

フィンガープリント Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Kong, W., Ando, T., Yatsu, H., Hisazumi, K., & Fukuda, A. (2016). Garakabu2: An SMT-based Bounded Model Checker for HSTM Designs in ZIPC. : Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015 (pp. 21-29). [7434466] (Proceedings - 2015 2nd International Symposium on Dependable Computing and Internet of Things, DCIT 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/DCIT.2015.8