1 paper
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…