reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <mar...@weimo.de>
Subject Formal verification of the Driver <-> Driver Protocol
Date Thu, 30 Mar 2017 21:48:47 GMT
Hi,

Doug is working towards replacing the JVM/CLR bridge in the Driver with a
protocol between two processes in [REEF-335]. That *new* protocol could be
an interesting case for the interest several of our community members had
in formal verification of REEF.

WDYT?

Markus

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message