13 citations · 25 across the 9 of their papers we have counts for
1 paper · 2 filters
Patrick Metzler, Habib Saissi, Péter Bokor +1
Automated software verification of concurrent programs is challenging because of exponentially large state spaces with respect to the number of threads and number of events per thr…