...
机译:图程序的Hoare样式验证
Department of Computer Science The University of York Deramore Lane, York, YO10 5GH, United Kingdom;
Department of Computer Science The University of York Deramore Lane, York, YO10 5GH, United Kingdom;
机译:验证密码基元中的算术汇编程序(应邀演讲)
机译:使用图文法验证指针程序
机译:验证图程序的总体正确性
机译:联合会的逻辑
机译:图形化仿真和数控铣削程序的自动验证。
机译:基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
机译:HOARE样式验证图表程序
机译:离线机器人编程和路径规划的图形验证