经过验证的编译器相关论文
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用．然而，此类语言相关开发工具本身的安全性业已成为被高度关注的......
以安全关键领域的安全标准为依托、安全相关软件的语言编码和编译要求为指导，进行了以下几方面的研究和探索：首先对形式化验证可信编......
同步数据流语言近年来在航空、高铁、核电等安全关键领域得到广泛应用.然而,此类语言相关开发工具本身的安全性业已成为被高度关注......
同步数据流语言（如Lustre）近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的......
