摘要
建议
Coccinelle中“语义补丁”的语义：工作程序员的程序转换 APLAS'07:第五届亚洲编程语言与系统会议论文集 我们合理地重建了Coccinelle系统的核心，用于自动化和记录Linux设备驱动程序中的并行演变。 开发了系统底层语义补丁语言（SmPL）的指称语义，并对其进行了扩展。。。 基于过渡的街道自动机的实时空检查 验证和分析自动化技术 摘要 在模型检查的自动机理论方法中，检查状态空间 S公司 针对线性时间属性 ϕ 可以在O中完成(| S公司 |×2 O（运行）(| ϕ |) )时间。 模型检查时 n个 强公平假设表示为广义Büchi自动机。。。
