AI-Lab, DIST, Universita di Genova, Italy;
Dip. di Scienze Fisiche, Universita di Napoli 'Federico II', Italy;
机译:带有数组的线性程序的反例指导的抽象优化
机译:概率定时程序的局部抽象优化
机译:对称并发程序的反例指导的抽象优化
机译:用阵列的线性程序的抽象细化
机译:一个反例指导抽象精炼框架,用于验证并发C程序。
机译:精确的大分子晶体学精炼:将线性缩放半经验量子力学程序DivCon纳入PHENIX精炼软件包
机译:具有数组的线性程序的抽象优化
机译:用于验证并发C程序的反例引导式抽象细化框架