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