有一条公路，甲队独修需10天，乙队独修需12天，丙队独修需15天．现在让三个队合修，但中间甲队撤离到另外工地，结果一共用了6天把这条公路修完．当甲队撤出后，乙、丙两队又共同合修了几天才完成？

程序正确性证明是用______来证明程序正确性的方法。