非決定的計算を用いたアルゴリズムの仕様化

本記事では、アルゴリズムを仕様化する言語として、非決定的計算の形式主義の使用について議論します。

July 4, 2024

「ワンボタン」技術の代替としての演繹的検証

本論文では、演繹的検証アプローチを他の形式的検証技術と比較し、検証プロセスにおける正確性証明書の重要性を強調します。

April 5, 2024

検証駆動開発

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

March 6, 2024

プログラム検証:背景と表記法

本論文では、有限オートマトンやチューリングマシンなどの計算モデルを通じて、アルゴリズムの正確な実装に焦点を当て、プログラム検証の分野を検討します。

February 1, 2024