形式化验证的编译器相关论文
同步数据流语言在航空、高铁和核电等安全攸关领域得到了广泛的应用。其中基于一种类Lustre语言的Scade工具适合这些领域实时控制......
同步数据流语言(如Lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用。例如,适合这些领域实时控制系统建模和开发的S......
CompCert是著名的C语言可信编译器,是经过形式化验证的编译器的杰出代表,近年来被广泛应用于学术界和工业界的许多研发工作中。Com......
同步数据流语言(如Lustre、Signal)在航空、高铁、核电等安全关键领域得到广泛应用.例如,适合这些领域实时控制系统建模和开发的Sc......
