5 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen +2
Partial order reductions have been successfully applied to model checking of concurrent systems and practical applications of the technique show nontrivial reduction in the size of…