形式的検証
【けいしきてきけんしょう】
【keishikitekikensyou】
形式验证
形式的検証
【けいしきてきけんしょう】
【keishikitekikensyou】
正式验证