1 citations · 5 across the 8 of their papers we have counts for
1 paper · 1 filter
Javier Esparza, Michael Raskin, Christoph Welzel-Mohr
Regular model checking is a technique for the verification of infinite-state systems whose configurations can be represented as finite words over a suitable alphabet. The form we a…