2 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Ashish Darbari, Iain Singleton
Verification of concurrent systems with thousands of multiple threads and transactions is a challenging problem not just for simulation or emulation but also for formal. To get des…