‌关于算法的正确性，下面哪些说法是正确的？（）

A.对于问题的一个实例，如果算法不能获得正确的结果，就证明算法是不正确的
B.若算法是正确的，则对于问题的任何实例，算法都能得到正确的结果
C.对于问题的一个实例，如果算法能够获得正确的结果，就证明算法是正确的
D.若算法是正确的，则算法一定能结束（运行时间是有限的）