形式化方法与应用专题前言

Preface

下载PDF

导出

摘要随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、定理证明等多种技术手段.近年来,利用形式化方法解决软件可靠性与安全性问题已经获得了越来越广泛的应用.

作者曹钦翔宋富詹乃军 CAO Qin-Xiang;SONG Fu;ZHAN Nai-Jun

机构地区上海交通大学电子信息与电气工程学院中国科学院软件研究所

出处《软件学报》 EI CSCD 北大核心 2024年第9期4011-4012,共2页 Journal of Software

关键词形式化方法软件系统模型检验运算速度定理证明体系结构应用专题理论与方法论

分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

1吴健.灵活运用乘法分配律来解题[J].初中生天地,2024(25):48-51.
2东方建.运用乘法分配律进行简算[J].小学生学习指导,2024(26):24-25.
3孔庆钰.建筑采暖通风空调工程的节能减排措施研究[J].建筑与装饰,2024(15):127-129.
4张秀再,张昊,杨昌军.基于DeeplabV3+网络的轻量化语义分割算法[J].科学技术与工程,2024,24(24):10382-10393.
5刘宗鑫,杨鹏飞,张立军,吴志林,黄小炜.完备神经网络验证加速技术综述[J].软件学报,2024,35(9):4038-4068.
6徐恒,黄志球,胡军,陶传奇,王金永,石帆.基于MTRDL的自动飞行系统模式需求建模与验证方法[J].软件学报,2024,35(9):4265-4286.
7陈锦富,冯乔伟,蔡赛华,施登洲,Rexford Nii Ayitey SOSU.基于形式化方法的区块链系统漏洞检测模型[J].软件学报,2024,35(9):4193-4217.
8张结根,谢佳,端义镭.学术期刊论文标题后缀词“研究”使用的必要性问题[J].大连大学学报,2024,45(4):37-43.
9李启业,陈耿,岑铭,文铮,毕研群,盘青坪.机载激光雷达测量技术在冰川科学观测中的应用研究[J].广西水利水电,2024(4):22-28.
10高莹,高健鑫,杨欣蕊,郭子渊,陈洁.基于理想格公钥密码关键部件的改进与优化实现[J].密码学报（中英文）,2024,11(4):878-894.

软件学报

2024年第9期

浏览历史

内容加载中请稍等...

形式化方法与应用专题前言

相关作者

相关机构

相关主题

浏览历史