Eden Frenkel

この記事では、システムの検証における一階論理の効率的な技術を紹介してるよ。

新しい方法が有限インスタンスにおける安全性の特性の検証を改善する。