Pinboard (jm)
https://pinboard.in/u:jm/public/
recent bookmarks from jmAn empirical study on the correctness of formally verified distributed systems2017-05-29T10:06:17+00:00
https://blog.acolyer.org/2017/05/29/an-empirical-study-on-the-correctness-of-formally-verified-distributed-systems/
jmWe 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 trying to do the right thing, instead it should make us redouble our efforts in our quest for correctness.
]]>formal-verification software coding testing tla+ chapar fuzzing verdi bugs papershttps://pinboard.in/https://pinboard.in/u:jm/b:f4b9ecb7122d/