4 citations · 8 across the 6 of their papers we have counts for
1 paper · 1 filter
Prasita Mukherjee, Haoteng Yin
Model Checking is widely applied in verifying the correctness of complex and concurrent systems against a specification. Pure symbolic approaches while popular, suffer from the sta…