机译:一种基于语义表的创新教学工具,用于命令程序的验证和调试
Tools to aid in teachingSemantic tableauxFormal verificationAlgorithmic debugging;
机译:利用并行程序构造语义开发调试器的一种方法
机译:通过自动有效性验证方法在调试并行程序中使用不稳定行为模板
机译:使用I / O对命令式程序进行基于跟踪的验证
机译:基于语义Tableaux的程序验证和调试的创新教学工具
机译:通过定向种族检测简化了语义并发程序的调试。
机译:同行评议:增强基于州的糖尿病预防和控制计划的监视能力的创新方法:糖尿病指标和数据源Internet工具(DIDIT)
机译:一种基于语义表的创新教学工具,用于命令程序的验证和调试
机译:程序调试,验证和修改的演绎方法。