Compilers; Programming languages; Proving; Program verification(Computers); Formalism;
机译:在IEC 61508中对生成的代码进行基于测试的翻译验证
机译:以16种语言对N-QOL(ICIQ),OAB-q(ICIQ),PPBC,OAB-S和ICIQ-MLUTSsex问卷进行语言验证。
机译:以16种语言对N-QOL(ICIQ),OAB-q(ICIQ),PPBC,OAB-S和ICIQ-MLUTSsex问卷进行语言验证。
机译:同步语言的基于测试的编译器验证
机译:使用即时编译的声明性语言对电化学和随机系统进行仿真。
机译:同步腹膜转移的结肠直肠癌患者预后探测器的开发与验证
机译:同步编译器中时钟转换的转换验证