机译:支持系统开发的正式方法,统计调试和探索性分析:迈向验证和确认计算器工具
机译:一种基于语义表的创新教学工具,用于命令程序的验证和调试
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:Boogie验证调试器(工具文件)
机译:使用Boogie =自动验证离散时间Matlab Simulink模型的框架,用于自动验证时间谨慎Matlab Simulink模型与Boogie的框架
机译:医学教育梅塔研究的观点 - 研究特别问题:探索如何进行研究沟通核实和奖励的论文
机译:Boogie验证调试器(工具纸)