Daily Archives: May 29, 2017

Links for 2017-05-29

An empirical study on the correctness of formally verified distributed systems We must recognise that even formal verification can leave gaps and hidden assumptions that need to be teased out and tested, using the full battery of testing techniques at our disposal. Building distributed systems is hard. But knowing that shouldn’t make us shy away from […]

Posted in Uncategorized | Comments closed