97 citations · 261 across the 11 of their papers we have counts for
1 paper · 1 filter
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen +1
Despite being one of the most reliable approaches for ensuring system correctness, model checking requires auxiliary tools to fully avail. In this work, we tackle the issue of its…