9 citations · 9 across the 1 of their papers we have counts for
1 paper
Mateusz Ujma, Nastaran Shafiei
One of the main challenges when verifying multi-threaded Java applications is the state space explosion problem. Due to thread interleavings, the number of states that the model ch…