Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving
Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving
复制标题
使用 SMT 求解对离散时间 MATLAB/Simulink 模型进行位精确形式验证
DOI：
10.1109/emsoft.2013.6658586
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Patrick Bittner
中科院分区：
文献类型：
--
作者：
Paula Herber;Robert Reicherdt;Patrick Bittner
登录
查看更多内容
翻译验证：从 Simulink 到 C
DOI：
10.1007/978-3-642-02658-4_57
发表时间：
2009
期刊：
2015 International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
Michael Ryabtsev;O. Strichman
通讯作者：
O. Strichman
嵌入式系统的分层混合建模
影响因子：
4.6
作者：
R. Alur;T. Dang;J. Esposito;R. Fierro;Y. Hur;Franjo Ivancic;Vijay R. Kumar;Insup Lee;Pradyumna Mishra;George Pappas;O. Sokolsky
通讯作者：
O. Sokolsky
影响因子：
22.7
作者：
D. Hardin;T. D. Hiratzka;D. Johnson;Lucas G. Wagner;M. Whalen;Rockwell Collins
通讯作者：
Rockwell Collins
切片 MATLAB Simulink 模型
DOI：
10.1109/icse.2012.6227161
发表时间：
2012
期刊：
2012 34th International Conference on Software Engineering (ICSE)
影响因子：
--
作者：
Robert Reicherdt;S. Glesner
通讯作者：
S. Glesner
使用 CheckMate 对混合系统进行形式化验证：案例研究
DOI：
10.1109/acc.2000.879487
发表时间：
2000
期刊：
Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334)
影响因子：
--
作者：
T. Niinomi;B. Krogh;J. Cury
通讯作者：
J. Cury