作者：彭展油库管理形式化方法z语言形式化验证
摘要：为提高油库的管理效率,油库管理系统的智能化水平越来越高,同时软件规模和复杂度不断增大,系统中的缺陷数量不断增多并且更加具有隐蔽性,这些缺陷给系统的正常运行和油库的安全带来巨大的挑战。提出把形式化方法应用到智能油库管理系统的开发过程,对智能油库管理系统进行形式化分析和验证,以期减少错误的发生,提高系统开发质量。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《现代计算机》（CN：44-1415/TP）是一本有较高学术价值的大型半月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《现代计算机》是一本学科性、技术性较强的科技类学术期刊，作者读者群均面向计算机信息技术及应用研究开发设计生产的工程技术人员、大专院校师生及计算机爱好者。
部级期刊
人气 1074123 评论 53
省级期刊
人气 845970 评论 70
人气 807036 评论 68
人气 753187 评论 72
