Uppsala University, Sweden;
Uppsala University, Sweden;
Academia Sinica, Taiwan;
Uppsala University, Sweden;
Linkoping University, Sweden;
机译:C程序的自动谓词抽象
机译:自动谓词C程序的抽象
机译:不要坐在栅栏上:自动插入栅栏的静态分析方法
机译:通过谓词抽象自动围栏在整数节目中插入
机译:使用决策程序和谓词抽象进行无限制的系统验证。
机译:通过混合整数非线性规划自动设计合成基因电路
机译:通过谓词抽象将围栏自动插入整数程序中