Stream: Coq users

Topic: Formally verified RPC?

view this post on Zulip jco (Jul 06 2020 at 07:17):

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: Jan 31 2023 at 14:03 UTC