形式化方法的理论基础专题前言被引量：3

下载PDF

导出

摘要形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径.在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题,这些理论和方法包括新模型下形式化验证的可判定性及复杂性结论、算法实现以及面向领域形式化方法.

作者傅育熙李国强田聪

机构地区上海交通大学软件学院西安电子科技大学计算机学院

出处《软件学报》 EI CSCD 北大核心 2018年第6期1515-1516,共2页 Journal of Software

关键词形式化方法数学基础计算机系统形式化验证专题软硬件设计可判定性面向领域

分类号 TP302.7 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

同被引文献31

1郑红军,张乃孝.软件开发中的形式化方法[J].计算机科学,1997,24(6):90-96. 被引量：23
2游珍,薛锦云.基于Isabelle定理证明器算法程序的形式化验证[J].计算机工程与科学,2009,31(10):85-89. 被引量：9
3王戟,李宣东.形式化方法与工具专刊前言[J].软件学报,2011,22(6):1121-1122. 被引量：6
4万家强,王越,刘羽.一种组合核支持向量机建模的方案[J].计算机工程与应用,2011,47(19):35-38. 被引量：4
5喻钢,徐中伟.基于脚本技术的高速铁路列控中心系统安全性自动化测试研究[J].铁道学报,2011,33(12):56-64. 被引量：10
6郝耀辉,郭渊博,罗婷,燕菊维.基于Hoare逻辑的密码软件形式化验证系统[J].计算机工程,2012,38(3):121-123. 被引量：2
7赵显琼,郑伟,唐涛.一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用[J].铁道学报,2012,34(5):70-80. 被引量：9
8何炎祥,吴伟,陈勇,徐超.基于SMT求解器的路径敏感程序验证[J].软件学报,2012,23(10):2655-2664. 被引量：9
9谯婷婷,王乐,王芳,葛艳.基于Coq的软件安全性验证[J].计算机应用,2012,32(A02):96-100. 被引量：2
10刘自恒,曾庆凯.一种自适应的循环不变式生成方法[J].计算机工程,2013,39(6):76-81. 被引量：3

引证文献3

1祁龙云,吕小亮,路红,黄皓.汇编级顺序语句块的自动形式化规约及其验证[J].计算机工程,2019,45(10):64-69. 被引量：1
2张铭瑶,王燕芩,李卫娟,杨平.形式化自动测试在计算机联锁系统中的应用研究[J].铁道通信信号,2021,57(10):6-11. 被引量：2
3路红,王承毅,黄皓.基于数据分类的循环不变式自动生成[J].计算机应用与软件,2023,40(1):30-37.

二级引证文献3

1曾舒宇,杨扬,王玥,曹阿俊.基于OpenCV的计算机联锁自动测试系统研究[J].铁路计算机应用,2022,31(6):68-73. 被引量：3
2王玥,杨扬.铁路计算机联锁站场数据自动提取方法研究[J].铁路计算机应用,2022,31(9):63-68. 被引量：3
3路红,王承毅,黄皓.基于数据分类的循环不变式自动生成[J].计算机应用与软件,2023,40(1):30-37.

12005年北京国际心血管病论坛基础专题征文通知[J].中华检验医学杂志,2005,28(6):578-578.
2富宜宇,张保稳.一种基于描述逻辑的等级保护安全校验方法[J].通信技术,2017,50(11):2554-2560.
3樊岳红.论中期维特根斯坦的数学哲学观[J].科学技术哲学研究,2018,35(1):20-24. 被引量：1
4莫绍揆,商恒珊.关于含高级量词的一目谓词演算公式的■_0永真性的可判定性及其应用[J].科学通报,1979,30(3):101-102.
5杜泽民,陈宜成.基于模型驱动的嵌入式软件需求验证研究[J].电子世界,2018,0(8):208-208. 被引量：2
6胥郁.高职通用航空航务技术专业课程体系构建研究[J].长沙航空职业技术学院学报,2018,18(1):55-58. 被引量：1
7冯元,应明生.量子程序验证[J].软件学报,2018,29(4):1085-1093. 被引量：4
8陈志新.周宁水电厂厂用电控制系统改造[J].福建水力发电,2017(2):39-42.
9陈柳青.电解CuCl2溶液的微型化改进[J].化学教与学,2017,0(12):88-89.
10沈旭.海水质量无线监测系统设计与实现[J].内蒙古民族大学学报（自然科学版）,2018,33(1):23-28. 被引量：4

软件学报

2018年第6期

浏览历史

内容加载中请稍等...

形式化方法的理论基础专题前言被引量：3

同被引文献31

引证文献3

二级引证文献3

相关作者

相关机构

相关主题

浏览历史

形式化方法的理论基础专题前言 被引量：3

同被引文献31

引证文献3

二级引证文献3

相关作者

相关机构

相关主题

浏览历史

形式化方法的理论基础专题前言被引量：3