67 citations · 299 across the 33 of their papers we have counts for
1 paper · 2 filters
Dimitra Giannakopoulou, Corina S. Păsăreanu
Despite many advances that enable the application of model checking techniques to the verification of large systems, the state-explosion problem remains the main challenge for scal…