人員削減（コンピューティング）

リトレンチメントは形式手法に関連する技術で、形式的なモデルベースのリファインメントの限界に対処するために導入されました。リファインメントは、原理的には望ましいと考えられるものの、実際には使用できない、またはほとんど使用できないことが判明した状況で使用されます。主にマンチェスター大学コンピューターサイエンス学部で開発されました。^[要出典]最新の観点は、以下の ACM TOSEM の記事に記載されています。