同步数据流语言（如Lustre）近年来在航空、高铁、核电等安全攸关领域得到广泛应用，这些领域对相关开发工具本身的安全性有着相当高的要求，为尽力解决好误编译问题，近期人们借助
2017-12-29 14:56
为了满足国内某安全攸关领域的需求, L2C编译器的开发始于2010年9月, 其目标是设计实现一个经过形式化验证的可信编译器, 其源语言是面向领域的同步数据流语言Lustre*(Lustre语言的一个
2021-12-17 07:36
FLOOR FINISH ULTRA LUSTRE 1 GAL
2023-04-06 12:33
）的语法分析器验证中。借助这种方法，文中完成了L2C项目中的 Lustre语言语法分析器的形式化验证，实现了开源L2C编译器前端语法分析器的两个选项之一。首先对这一语法分析器的实现进行了论述，其中包括有参考价值的技术细节;随后分析了该语法分析器的运行性能及正确性;最后对如何将这一方法推广至更
2021-05-19 10:55
