3.7k citations · 3.8k across the 13 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…