证券之星消息,根据企查查数据显示科大国创(300520)新获得一项发明专利授权,专利名为“基于SMT求解器的一阶逻辑公式程序验证方法及系统”,专利申请号为CN202011055948.9,授权日为2023年11月24日。
专利摘要:本发明公开了一种基于SMT求解器的一阶逻辑公式程序验证方法及系统,包括接收至少一个客户端中任一客户端发送的程序形式化验证数据交互请求;基于获取的数据验证请求内容,提取数据验证请求中的一阶逻辑公式;基于SMT求解器对上述数据验证请求中的一阶逻辑公式进行可满足性求解。本发明基于SMT求解器实现了一阶逻辑公式的自动证明,使得形式化验证系统能够对程序进行自动化验证,提高软件的可信度。
今年以来科大国创新获得专利授权11个,较去年同期增加了57.14%。结合公司2023年中报财务数据,今年上半年公司在研发方面投入了1.28亿元,同比增0.07%。
数据来源:企查查
以上内容由证券之星根据公开信息整理,由算法生成,与本站立场无关。证券之星力求但不保证该信息(包括但不限于文字、视频、音频、数据及图表)全部或者部分内容的的准确性、完整性、有效性、及时性等,如存在问题请联系我们。本文为数据整理,不对您构成任何投资建议,投资有风险,请谨慎决策。