技术编号:11774371
提示:您尚未登录,请点 登 陆 后下载,如果您还没有账户请点 注 册 ,登陆完成后,请刷新本页查看技术详细信息。本发明涉及系统设计开发和验证领域,尤其是涉及一种带过去时态的线性时态逻辑性质的有界运行时验证系统。背景技术随着计算机技术的日益普及,计算机系统在人类生产生活中的参与度日益提高,计算机系统的安全性、可靠性对人类的生产生活影响也日益增强。为了保证系统的安全性、可靠性,在软件系统开发、运行的不同阶段,人们采用了各种各样的方式来避免软件系统的各类安全性、可靠性问题。例如在需求设计阶段,设计人员利用模型检测技术,使用迁移系统、自动机等模型对系统进行建模,并通过逻辑语言对性质进行描述或定义,通过严格地数学推...
注意:该技术已申请专利,请尊重研发人员的辛勤研发付出,在未取得专利权人授权前,仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权,增加技术思路,做技术知识储备,不适合论文引用。
请注意,此类技术没有源代码,用于学习研究技术思路。