reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <mar...@weimo.de>
Subject Re: Formal verification of the Driver <-> Driver Protocol
Date Thu, 30 Mar 2017 22:18:51 GMT
On Thu, Mar 30, 2017 at 2:54 PM, Byung-Gon Chun <bgchun@gmail.com> wrote:
> How about adding it be part of the GSOC 2017 formal verification topic?

That would be great! But I'd like to here from Doug first before
putting him on the spot :-)

Markus

Mime
View raw message