Post #1546594
2026-04-16 08:42 UTC
@regehr @GeorgWeissenbacher Do you know this neat paper from UW folks a few years back about finding bugs "in" verified distributed systems? I really like it. (you won't be surprised at all to hear that the bugs were all in the interfaces between verified and non-verified components and had to do with incorrect assumptions) https://al.radbox.org/doi/10.1145/3064176.3064183
Replies (3)
-
@MonniauxD@social.sciences.re 2026-04-16 08:44
@lindsey @regehr @GeorgWeissenbacher Can I toot my own trumpet? https://arxiv.org/abs/2201.10280
-
@regehr@mastodon.social 2026-04-16 15:32
@lindsey @GeorgWeissenbacher yes I love that paper!
-
@GeorgWeissenbacher@fediscience.org 2026-04-16 16:45
@lindsey @regehr the work by the philosoper Imre Lakatos ("Proofs and Refutations") illustrates nicely how mathematical proofs aren't bullet-proof because of implicit or missing assumptions.