49 citations · 105 across the 20 of their papers we have counts for
1 paper · 1 filter
Prasita Mukherjee, Tiark Rompf
Model Checking is widely applied in verifying complicated and especially concurrent systems. Despite of its popularity, model checking suffers from the state space explosion proble…