异动
关注
社群
搜公告
产业库
时间轴
公社AI
通知
全部已读
暂无数据
私信
暂无数据
登录注册
我的主页
退出
红牛1005
下海干活的小韭菜
2024-12-03 11:01:40
新的东西,先关注
@投降亏一半:
科大国创自2013年与中国科学技术大学共建“中国科大-国创高可信软件工程中心”,至今已超10年,逐步构建了基础工具软件-编程AI助手-机器人编程的发展路径。当前,公司已推出了高可信程序分析和程序验证基础工具软件。高可信软件主要采用符号执行、定理证明等形式化技术,在代码级别或系统级别进行静态分析、动态
28 赞同-20 评论
声明:文章观点来自网友,仅为作者个人研究意见,不代表韭研公社观点及立场,站内所有文章均不构成投资建议,请投资者注意风险,独立审慎决策。
工分
0.01
转发
收藏
投诉
复制链接
分享到微信
有用 0
打赏作者
无用
真知无价,用钱说话
0个人打赏
清空
确定
清空
确定
导入文档
同时转发
发布
暂无数据
确定要分配的奖金