I'm curious what the state of the art is in formally verified network interactions. I said RPC because I'm curious what a formally verified protobufs alternative would look like, but it doesn't have to strictly be RPC. I imagine the DeepSpec people care about this question, though I checked their webpage and couldn't find any leads.
Last updated: Mar 29 2024 at 07:01 UTC