41 citations · 104 across the 19 of their papers we have counts for
1 paper · 1 filter
Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier
Among the approximation methods for the verification of counter systems, one of them consists in model-checking their flat unfoldings. Unfortunately, the complexity characterizatio…