4 ms·
That's a good use for formal software proving. While proving the safety of the entire codebase might be currently out of bridge, it would be quite feasible to p
by murbard2 11y ago
That's a good use for formal software proving. While proving the safety of the entire codebase might be currently out of bridge, it would be quite feasible to prove the safety of a message bridge.