词汇	program proving
释义	program proving 程序验证
随便看	interrupted time series design interrupted time-series design interrupted tone interrupted traffic flow interrupted transportation interrupted turning interrupted type milling cutter interrupted ultra quick interrupted undamped wave interrupted urination interrupted very quick flashing interrupted view interrupted water table interrupted wave interrupted whole layer inversion suture interrupt emulation interrupt enable interrupt enable and disable interrupt enable and interrupt disable interrupt enable bit interrupt enable flag interrupt enable flip-flop interrupt enable input interrupt enable output interrupt enabling