Posix shell; Programming language Deductive program verification;
机译:对分布式编程语言的编程逻辑的形式验证
机译:用功能数据流并行语言对程序进行形式验证
机译:验证C程序。 C-Light语言及其形式语义
机译:用于壳种编程语言的正式验证的解释器
机译:连接系统描述语言与形式验证
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证
机译:处理器 - memorymodule的形式验证中的解释器组合问题