Pervasive Compiler Verification – From Verified Programs to Verified Systems

机译：编译和验证安全关键型反应系统的SC-SystemJ程序

机译：改进技术，用于验证呼叫流程完整性，用于对基于返回的编程攻击的基于编译器的防御

机译：结合静态验证和动态分析的编译器IR进行关系程序推理

机译：可靠的验证程序可实现经济高效地获取复杂而可靠的太空系统（采用模块化管理流程实施分布式验证程序的重要性）

机译：正式基于SSA的编译器进行经过验证的高级程序转换

机译：一个独立验证近距离治疗计划系统计算的程序

机译：普遍的编译器验证 - 从经过验证的程序到经过验证的系统

机译：电子签名验证系统，电子签名装置，验证装置，电子签名验证方法，电子签名方法，验证方法，电子签名程序，验证程序

机译：电子签名验证系统，电子签名装置和验证装置，电子签名验证方式，电子签名方式和验证方式，电子签名程序和验证程序

机译：比特承诺验证系统，比特承诺设备，验证设备，比特承诺验证方法，比特承诺方法，验证方法，比特承诺程序，验证程序