434 citations · 851 across the 20 of their papers we have counts for
1 paper · 1 filter
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman +3
Production distributed systems are challenging to formally verify, in particular when they are based on distributed protocols that are not rigorously described or fully understood.…