Presentation | 2019-03-14 Experiment on SMT-LIB Encoding Methods for Simulink Models Koki Takenaka, Daisuke Ishii, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Static analysis is useful for coverage testing etc. for Simulink models as for general-purpose programs. In this work, we consider encoding methods that translate a dynamical system model described with Simulink into an SMT-LIB description. Aiming at efficient static analysis with SMT solvers, we propose several encoding methods and evaluate them through experimenting with two Simulink models. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | MATLAB/Simulink / SMT Solver / Static Analysis |
Paper # | MSS2018-82 |
Date of Issue | 2019-03-07 (MSS) |
Conference Information | |
Committee | NLP / MSS |
---|---|
Conference Date | 2019/3/14(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | Bunkyo Camp., Univ. of Fukui |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | SICE-DES, IEICE-MSS, IEICE-NLP, Work In Progress, and etc. |
Chair | Norikazu Takahashi(Okayama Univ.) / Morikazu Nakamura(Univ. of Ryukyus) |
Vice Chair | Hiroaki Kurokawa(Tokyo Univ. of Tech.) / Shigemasa Takai(Osaka Univ.) |
Secretary | Hiroaki Kurokawa(Hiroshima Inst. of Tech.) / Shigemasa Takai(Nippon Inst. of Tech.) |
Assistant | Masayuki Kimura(Kyoto Univ.) / Yutaka Shimada(Saitama Univ.) / Hideki Kinjo(Okinawa Univ.) |
Paper Information | |
Registration To | Technical Committee on Nonlinear Problems / Technical Committee on Mathematical Systems Science and its applications |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Experiment on SMT-LIB Encoding Methods for Simulink Models |
Sub Title (in English) | |
Keyword(1) | MATLAB/Simulink |
Keyword(2) | SMT Solver |
Keyword(3) | Static Analysis |
1st Author's Name | Koki Takenaka |
1st Author's Affiliation | University of Fukui(U. Fukui) |
2nd Author's Name | Daisuke Ishii |
2nd Author's Affiliation | University of Fukui(U. Fukui) |
Date | 2019-03-14 |
Paper # | MSS2018-82 |
Volume (vol) | vol.118 |
Number (no) | MSS-499 |
Page | pp.pp.7-11(MSS), |
#Pages | 5 |
Date of Issue | 2019-03-07 (MSS) |