12 citations · 19 across the 5 of their papers we have counts for
1 paper · 1 filter
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…