形式化方法

作品数：863被引量：2365H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云肖美华张广泉黄志球胡军更多>>
相关机构：华东师范大学中国科学院软件研究所上海交通大学南京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
形式化方法与应用专题前言
《软件学报》2024年第9期4011-4012,共2页曹钦翔 宋富 詹乃军 
随着硬件运算速度变得越来越快、体系结构变得越来越复杂,软件的功能也变得越来越强大而复杂,如何开发可靠的软件系统,已经成为了一项巨大的挑战.形式化方法是利用数学理论与方法论证检验软件系统可靠性与安全性的方法,包括模型检验、...
关键词：形式化方法 软件系统 模型检验 运算速度 定理证明 体系结构 应用专题 理论与方法论 
完备神经网络验证加速技术综述
《软件学报》2024年第9期4038-4068,共31页刘宗鑫 杨鹏飞 张立军 吴志林 黄小炜 
中国科学院基础领域研究青年团队计划(CASYSBR-040);中国科学院软件研究所新培育方向项目(ISCAS-PYFX-202201)。
人工智能技术已被广泛应用于生活中的各个领域.然而,神经网络作为人工智能的主要实现手段,在面对训练数据之外的输入或对抗攻击时,可能表现出意料之外的行为.在自动驾驶、智能医疗等安全攸关领域,这些未定义行为可能会对生命安全造成重...
关键词：完备验证 可满足性模理论 人工智能安全 形式化方法 鲁棒性 
基于MTRDL的自动飞行系统模式需求建模与验证方法被引量：1
《软件学报》2024年第9期4265-4286,共22页徐恒 黄志球 胡军 陶传奇 王金永 石帆 
国家自然科学基金(U2241216);中央高校基本科研业务费专项资金(NT2022027,NJ2022027);河南省科技攻关项目(222102210048)。
在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中...
关键词：自动飞行系统模式 形式化方法 SysML建模 安全性质 
基于形式化方法的区块链系统漏洞检测模型
《软件学报》2024年第9期4193-4217,共25页陈锦富 冯乔伟 蔡赛华 施登洲 Rexford Nii Ayitey SOSU 
国家重点研发计划(2020YFB1005501);国家自然科学基金(62172194,62202206,U1836116);江苏省自然科学基金(BK20220515);中国博士后科学基金(2023T160275);江苏省自然科学基金前沿技术项目(BK20202001);江苏省青蓝工程。
随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性...
关键词：区块链系统 安全因素 漏洞检测模型 形式化验证 BPEL流程 
约束求解与定理证明专题前言
《软件学报》2023年第8期3465-3466,共2页蔡少伟 陈振邦 王戟 詹博华 赵永望 
随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.形式化方法使用严格的数学语言对计算机系统建模,并在计算机的辅助下验证系统的正确性.与测试不同,形式化方法可以完全排除某些类型的错误.约束求...
关键词：形式化方法 定理证明 约束求解 符号执行 计算机系统 模糊测试 模型检测 系统安全 
前馈神经网络和循环神经网络的鲁棒性验证综述被引量：10
《软件学报》2023年第7期3134-3166,共33页刘颖 杨鹏飞 张立军 吴志林 冯元 
中国科学院青年科学基金(YSBR-040)。
随着智能时代的到来,部署了深度神经网络的智能系统应用已经渗透到了人类生活的各个方面.然而,由于神经网络具有黑盒特性和规模庞大的特点,其预测结果难以让人完全信服,当应用于自动驾驶等安全攸关的领域时,如何保证其安全性仍然是学术...
关键词：神经网络 鲁棒性 人工智能安全 智能系统 形式化方法 
形式化方法与应用专题前言
《软件学报》2023年第7期2979-2980,共2页董云卫 刘关俊 毛晓光 
形式化方法是采用数学方法,对复杂计算机系统建立严格语法与语义规范的系统设计与验证方法,常用于复杂动态系统的需求规约、模型设计和属性验证,在计算机硬件设计、软件系统构造、控制系统模型设计与分析、通信系统协议验证和程序代码...
关键词：形式化方法 计算机硬件 计算机系统 复杂动态系统 协议验证 区块链 软件系统 深度学习 
网络验证研究综述被引量：1
《软件学报》2023年第1期351-380,共30页方星 胡波 马超 黄伟庆 
国家重点研发计划(2019YFB1005205)。
随着计算机网络规模和复杂度的日益增长,网络管理人员难以保证网络意图得到了正确实现,错误的网络配置将影响网络的安全性和可用性.受到形式化方法在硬软件验证领域中成功应用的启发,研究人员将形式化方法应用到网络中,形成了一个新的...
关键词：网络验证 形式化方法 网络可靠性 网络安全 基于意图的网络 
形式化方法与应用专题前言
《软件学报》2022年第8期2753-2754,共2页陈立前 孙猛 
形式化方法基于严格的数学方法规约、设计、构建、验证、演进计算系统,是改善和保障计算系统可信性的重要方法.形式化方法相关基础理论、技术和工具已成功应用于各种软硬件系统的设计与验证.近年来,在区块链、深度学习、量子计算等新兴...
关键词：形式化方法 区块链 软硬件系统 深度学习 量子计算 数学方法 可信性 基础理论 
智能合约的时间约束模式及其形式化验证被引量：5
《软件学报》2022年第8期2875-2895,共21页赵颖琪 朱雪阳 李广元 包玉龙 
国家自然科学基金(62072443)。
智能合约是一套以数字形式定义的承诺.通过智能合约,可以大大减少协议制定的中间环节,提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入,智能合约的作用必然越来越突出,智能合约的可靠性问题...
关键词：智能合约 时间约束模式 模型检测 SOLIDITY 形式化方法 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部