1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Javier Esparza, Mikhail Raskin, Christoph Welzel
In a previous paper we have presented a CEGAR approach for the verification of parameterized systems with an arbitrary number of processes organized in an array or a ring. The tech…