在計算機科學中，不變條件是指，在程序執行過程或部分過程中，可始終被假定成立的條件。比如，循環不變條件是指在循環開始和結束後始終成立的條件。
 |
應用
不變條件在邏輯推理計算機程序正確性時，特別有用。優化編譯器理論、契約式設計設計方法論及形式方法，都十分依賴於計算機程序的不變條件。
參考
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
