本发明提供一种对历史事务的建模验证方法,属于计算机领域。本方法建立一种在线性时序逻辑基础之上的新型逻辑,通过对线性时序逻辑的扩充,能描述历史条件下的事物以及时间,并能对描述好的历史事务进行验证。本发明解决之前线性时序逻辑只能表示未来情况的局限,提高了语言的表达能力,在提高软件质量、保证软件正确性等方面有非常重要的作用,有良好的社会效益。
商品类型 | 专利 | 申请号 | 201810101474.3 | IPC分类号 | |
专利类型 | 发明 | 法律状态 | 有权 | 技术领域 | |
交易方式 | 技术转让 | 专利状态 | 已授权 | 专利权人 |