Formal Modeling and Verification of Low-Level Software Programs
Formal Modeling and Verification of Low-Level Software Programs
复制标题
低级软件程序的形式化建模和验证
DOI：
10.1109/qsic.2010.67
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
S. Glesner
中科院分区：
文献类型：
--
作者：
B. Bartels;S. Glesner
登录
查看更多内容
DOI：
10.1109/tase.2009.58
发表时间：
2009
期刊：
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
影响因子：
--
作者：
Moritz Kleine;B. Bartels;Thomas Göthel;S. Glesner
通讯作者：
S. Glesner
使用证书进行程序检查：分离正确性关键代码
DOI：
10.1007/978-3-540-45236-2_41
发表时间：
2003
期刊：
SIAM J. Comput.
影响因子：
--
作者：
S. Glesner
通讯作者：
S. Glesner
使用 Timed-CSP-Z 和 Petri 网的 SACI-1 机载计算机的规范和验证
影响因子：
1.5
作者：
Adnan Sherif;A. Sampaio;S. Cavalcante
通讯作者：
S. Cavalcante
SFB/TR 14 AVACS – 复杂系统的自动验证和分析
DOI：
10.1524/itit.2007.49.2.118
发表时间：
2007
期刊：
it - Information Technology
影响因子：
--
作者：
B. Becker;A. Podelski;W. Damm;M. Fränzle;E. Olderog;R. Wilhelm
通讯作者：
R. Wilhelm
基于CSP模型的低级代码验证
DOI：
10.1007/978-3-642-10452-7_18
发表时间：
2009
期刊：
影响因子：
--
作者：
M. Kleine;S. Helke
通讯作者：
S. Helke