1 paper
William Schultz, Edward Ashton, Heidi Howard +1
Many techniques for the automated verification of distributed protocols have been developed over the past several years, but their performance is still unpredictable and their fail…