3 ms·
Neither the specification nor the analysis contain a formal, verifiable specification. How can one test an invariant and properties and make real conclusions ab
by agentultra 11y ago
Neither the specification nor the analysis contain a formal, verifiable specification. How can one test an invariant and properties and make real conclusions about the safety/liveness of Redlock without it?
Is it not useful to do so?