Sharon Shoham

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

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

暗黙のランキングを使ってシステムの振る舞いを検証する新しいアプローチ。