automatic program verification system

• 英?[??:t??m?tik ?pr?uɡr?m ?ver?f??ke???n ?sist?m]
• 美?[??t??m?t?k ?pro?ɡr?m ?v?r?f??ke??n ?s?st?m]