検証駆動開発

本論文では、「合理的なマシン」という用語を提示し、実用的に適用可能なすべての計算パラダイムがそのようなマシンの形で表現できるという仮説を示します。

March 6, 2024

なぜ形式的仕様を使うのか

このブログでは、プログラム検証の文脈で形式的仕様の利点を探ります。

March 4, 2024