52 citations · 155 across the 40 of their papers we have counts for
1 paper · 1 filter
Parosh Aziz Abdulla, Aletta Nylen
Many existing algorithms for model checking of infinite-state systems operate on constraints which are used to represent (potentially infinite) sets of states. A general powerful t…