原名:Interpolation in Software Model Checking and in Fault Localization
80 Pages·2014·
作品简介:安德烈亚斯·波德尔斯基 (Andreas Podelski) 博士，阿尔伯特·路德维希·弗莱堡大学。教授其结构。我们将首先概述无循环程序图的方法，然后对其进行概括。给定一个没有循环的程序图，只有 .. 程序，因此会错过错误的常见原因，例如错误的分支。……
资源下载
VIP免费升级VIP
原名:Interpolation in Software Model Checking and in Fault Localization
80 Pages·2014·
作品简介:安德烈亚斯·波德尔斯基 (Andreas Podelski) 博士，阿尔伯特·路德维希·弗莱堡大学。教授其结构。我们将首先概述无循环程序图的方法，然后对其进行概括。给定一个没有循环的程序图，只有 .. 程序，因此会错过错误的常见原因，例如错误的分支。……
