- 1、本文档共11页,其中可免费阅读4页,需付费150金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
软件硕士毕业论文:基于ATL的博弈模型软件检测研究及其在围棋中的应用
1 绪论 1.1 研究背景与现状 现今,随着互联网+、智慧城市等概念的提出,软件系统已经成为人们生活中不可或缺的组成部分,越来越多的软件为用户提供着重要的服务。然而,软件系统的泛滥会出现软件质量不可靠的现象。小型服务类软件出错可能会影响用户的使用,泄露用户隐私,给系统用户带来不便,而大型信息系统出现问题会造成用户财产损失甚至危及生命。因此,软件系统的安全性与可靠性受到越来越多的关注,而如何开发安全、可靠的软件系统成为一道难题。形式化方法是有效提高系统安全性的方法,研究形式化方法相关技术,建立软件形式化验
您可能关注的文档
- 市场营销论文:新电改下H发电公司电力市场营销策略研究.docx
- 市场营销论文:新疆普耀新型建材有限公司市场营销策略研究.docx
- 市场营销论文:新思维范式下的网络剧市场营销策略研究.docx
- 市场营销论文:信山茶叶公司市场营销策略研究.docx
- 市场营销论文:邢台银行零售业务市场营销策略分析.docx
- 市场营销论文:兴业消费金融产品在杭高校市场营销策略研究.docx
- 市场营销论文:兴业银行银银平台的“钱大掌柜”市场营销策略研究.docx
- 市场营销论文:兴至红红木古典家具有限公司市场营销策略研究.docx
- 市场营销论文:幸福导向广告如何带来产品评价:情绪效价的调节.docx
- 市场营销论文:宿州市X公证处的服务市场营销策略研究.docx
1亿VIP精品文档
相关文档
最近下载
- 关于2023年度落实“一把手”和领导班子监督情况汇报.docx VIP
- 附件4.智能变电站二次系统通用设计要求(征求意见高稿).docx
- BS EN ISO 12870-2012眼科光学 眼镜架 一般要求和试验方法 (英文版).pdf VIP
- 城市轨道交通车辆与结构第四章车钩讲课文档.ppt VIP
- 华南理工大学《高级语言程序设计(C II)》期末试卷(含答案).pdf
- 关于做好节假日期间施工工程现场安全管理的通知.docx VIP
- 党史学习教育三湾改编ppt课件.pptx VIP
- 《BIM实操理论》模拟试题.pdf VIP
- 垂直导管法灌注水下混凝土技术交底书.doc
- BIM建模考题 实操题.doc VIP
文档评论(0)