[Cryptography] Formal Verification

[Ilya Levin]

On Fri, Mar 18, 2016 at 12:18 AM, Jonathan Thornburg <
jthorn at astro.indiana.edu> wrote:

> Indeed, it would seem to provide an interesting vehicle for producing
> a formally-verified TCP/IP stack.  Has anyone tried this?
>

To do a DSL for producing a formally-verified TCP/IP stack might be a bit
of overkill. For example, "a friend of mine" have done this with severely
ACSL-annotated C code and Frama-C couple years ago.

Ilya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.metzdowd.com/pipermail/cryptography/attachments/20160318/971b22a2/attachment.html>