CASM; Type system; Instruction; Register machine Abstract State Machine; Intermediate Representation Modeling and specification language;
机译:转换规范的增量执行
机译:正式化LLVM中间表示形式以进行经过验证的程序转换
机译:基于模式匹配的类型规范的程序中间表示
机译:Casm-IR:基于ASM的模型规范,执行和转换的统一ASM中间表示
机译:一个开放框架,用于规范和执行可测需求模型。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:转换规范的增量执行
机译:从基于图形的面向对象表示到基于理论的规范的形式转换