21 citations · 25 across the 2 of their papers we have counts for
1 paper · 1 filter
Jérôme Leroux, Gregoire Sutre
Acceleration in symbolic verification consists in computing the exact effect of some control-flow loops in order to speed up the iterative fix-point computation of reachable states…