reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <>
Subject Re: Formal methods for REEF?
Date Wed, 13 Apr 2016 00:18:00 GMT
On 2016-04-12 15:16, Dudoladov, Sergey wrote:
> @Markus Which ideas  do you have in mind ?

A good candidate would be the protocol between Driver and Evaluator. 
We've never really formally specified it, nor do we have proofs as to 
its deadlock and race properties.

TLA+ seems like a framework for that sort of task.


View raw message