3 ms·And use invariants to provide some formal guarantees. See e.g. https://dafny.org https://dafny.orgby nextos 3y agoAnd use invariants to provide some formal guarantees. See e.g. https://dafny.org https://dafny.org