Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
复制标题
关键系统：形式化方法和自动验证
DOI：
10.1007/978-3-319-45943-1_10
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Asavoae I
中科院分区：
文献类型：
--
作者：
Asavoae I
Android操作系统支持应用程序之间的多种通信方法。这为以协作方式实施威胁提供了可能性，参见。2011年的Soundcomber示例。在本文中，我们展示了一种有效的尝试，通过模型检查一组应用程序利用框架来检测共谋。
The Android OS supports multiple communication methods between apps. This opens the possibility to carry out threats in a collaborative fashion, c.f. the Soundcomber example from 2011. In this paper we demonstrate an effective attempt to detect collusion via model-checking a set of apps utilising theframework.
登录
查看更多内容
增量式BMC在汽车行业的成功应用
DOI：
--
发表时间：
2015
期刊：
International Workshop on Formal Methods for Industrial Critical Systems
影响因子：
--
作者：
P. Schrammel;D. Kroening;M. Brain;R. Martins;Tino Teige;Tom Bienmüller
通讯作者：
Tom Bienmüller
针对基于 SMT 的测试用例生成的数学函数的抽象和细化
DOI：
--
发表时间：
2016
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
Takuro Kutsuna;Yoshinao Ishii;Akihiro Yamamoto
通讯作者：
Akihiro Yamamoto
Simulink 模型基于突变的测试用例生成
DOI：
--
发表时间：
2009
期刊：
Formal Methods for Components and Objects
影响因子：
--
作者：
Angelo Brillout;Nannan He;M. Mazzucchi;D. Kroening;M. Purandare;Philipp Rümmer;Georg Weissenbacher
通讯作者：
Georg Weissenbacher
易北河隧道高度控制系统安全分析
影响因子：
8.1
作者：
F. Ortmeier;G. Schellhorn;A. Thums;W. Reif;Bernhard Hering;Helmut Trappschuh
通讯作者：
Helmut Trappschuh
AutoMOTGen：面向嵌入式控制系统的自动模型测试生成器
DOI：
--
发表时间：
2008
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Ambar A. Gadkari;Anand Yeolekar;J. Suresh;S. Ramesh;S. Mohalik;K. Shashidhar
通讯作者：
K. Shashidhar