关键软件

AI代码翻译系统结合形式化方法提升关键软件可信度

Code Metal公司通过结合AI与形式化方法、差分测试和属性测试等技术，构建针对航空航天、半导体等关键领域的代码翻译系统，旨在解决高风险环境中AI代码转换的可信度问题。