【歸納斷言法】
英語翻譯：inductiveassertionmethod
【辭書名稱】資訊與通信術語辭典
由Floyd提出的一種對程式正確性證明方法。
將一程式分割，並假設其滿足條件，再將其建立驗證條件進行驗證，若所有驗證為真，則表該程式或程式段是正確的。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://aa.wsky.ink/) | Powered by Discuz! X3.1 |