Re:Torus: A distributed storage system by CoreOS
by agentultra on Wednesday June 01, 2016 @02:43PM
(#11817045)
> this is still a hard problem
Which is why I'm rather surprised that these systems continue to be released without any formal specification or model checking. It's hard to get these things right... worth the effort, IMO, to create formal specifications.
Which is why I'm rather surprised that these systems continue to be released without any formal specification or model checking. It's hard to get these things right... worth the effort, IMO, to create formal specifications.