Raz Lotan

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

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