1 citations · 6 across the 7 of their papers we have counts for
1 paper · 2 filters
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe
There are two kinds of higher-order extensions of model checking: HORS model checking and HFL model checking. Whilst the former has been applied to automated verification of higher…