程序正确性证明最常用的方法是 【16】 ，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
参考答案：归纳断言法
I see some children _____ on the street.[ ]
A. walked
B. walks
C. walking
通常情况下，股票账面价值并不等于股票的市场价格。（）
