形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以 ...
形式化方法的发展与应用 1、形式化方法的定义 机载软件的适航标准第三版DO-178C的补充文档《DO-333，DO-178C和DO-278A的形式化方法补充》(下文简称为《DO-333》)中对形式化方法的定义为：用于构造、开发和推理一个系统行为的数学模型的描述性符号系统和分析方法。
形式化方法研究的目的就是希望能够提供更好的理论、方法和工具，扩大形式化方法的应用范围和使用价值。. 形式化方法的意义在于它能帮助发现其它方法不容易发现的系统描述的不一致、不明确或不完整，有助于增加软件开发人员对系统的理解，因此 形式化 ...
来源网络和维基百科： 形式化方法，中文也称形式方法[1]、正规方法[2]。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证[3]。将形式化方法用于软件和 …
软件形式化方法与应用专题前言. 【摘要】： 正形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和 ...
ChinaSoft 2021形式化方法与应用Track 征稿通知-CCF2021中国软件大会 形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已成为安全攸关系统质量保障不可或缺 ...
形式化方法的核心就是形式化语言，以及基于形式化语言构建出来的系统的形式化模型。对于一些 safety crit … 首页 会员 发现 等你来答 登录 软件 软件开发 计算机 软件工程 形式化方法（软件可靠性方法）在实际工作中如何应用？关注者 127 被 ...
我的研究用到的方法是形式化方法应用里的formal verification，大概说一下这个方向。verification的流程可以这么总结： 1 对于你要verify的系统进行formalization，建立formal model 2 …
“形式化方法与应用”专题特约编辑姜宇副教授推荐.收稿时间:2020-08-30;修改时间:2020-10-26;采用时间:2020-12-19;jos在线出版时间:2021-02-071850JournalofSof...
第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则...
第六章结合软件系统测试的需要,给出了一个用RAISE形式化CSTA的实例,并根据该实例剖析了系统测试中的形式化技术。第七章以实习期间在系统测试中运用该方法得到的数据,论证了形...
不赞同形式化方法工业无用论。形式化方法已经较广泛应用于分布式系统，世界最重要软件公司、互联网公司都...
60年代后期,针对“软件危机”提出两类解决办法:一是将工程化应用于软件的开发过程,即“软件工程”的出现和发展;二是建立严格的理论基础,采用形式化方法来指导...
软件学报专刊征文:形式化方法与应用(截稿时间:9月5日)更多+视觉问答研究综述浏览器同源策略安全研究综述国产复杂异构高性能数值软件的研制与测试专题前言区块链系统中身...
形式化方法(FORMALMETHODS)使用数学方法解决软件问题,主要包括软件需求、设计、实现形式化建模和验证,具体可以理解为使用形式化语言,构建软件形式化规格描述并采用模型检测、定理证明等方法验证...
形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工...
摘要:形式化方法B支持从抽象规约到实现的完整的开发过程,用于开发安全关键的软件系统.给出了B方法精化的定义后,介绍了抽象机的精化过程与方法,结合实例分析了仅...
形式化方法与应用FMAC形式化方法由于在软硬件系统的设计、分析和验证中的成功应用,得到学术界和工业界的认可。本论坛将邀请《软件学报》形式化方法与应用专刊预接收的文章作...