3 citations · 3 across the 5 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…