automata-based programming; formal verification; model checking;
机译:数值程序的形式验证:从C注释程序到机械证明
机译:数值程序的形式验证:从C注释程序到机械证明
机译:对分布式编程语言的编程逻辑的形式验证
机译:800种转基因自动机计划的正式核查:一个案例研究
机译:硬件/软件形式验证中高级构造的推理
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:C,Lambda微积分和编译器验证-在Haskell中研究用于命令式编程语言的正式规范的纯功能技术及其编译器的认识论验证