江苏省技术产权交易市场

一种对历史事务的建模验证方法
297人浏览  | 交易次数:0次
商品编号
202033105824032292
商品权属
代理
交易方式
技术转让
商品价格
面议

店铺信息

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

购买意向调查