From ca40d452ed8bd27e6f66823cac1400db8d25a54d Mon Sep 17 00:00:00 2001 From: Denis Kolegov Date: Mon, 24 Jun 2024 20:11:06 +0200 Subject: [PATCH] Update spec/protocol-spec/README.md Co-authored-by: Igor Konnov --- spec/protocol-spec/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/protocol-spec/README.md b/spec/protocol-spec/README.md index 5d5d19fb..4e6853f9 100644 --- a/spec/protocol-spec/README.md +++ b/spec/protocol-spec/README.md @@ -72,7 +72,7 @@ execution: In the course of writing the specification, we have developed a number of state invariants. By simulating and model checking the specification against these -invariants increases our confidence in the correctness of the protocol. +invariants, we have increased our confidence in the correctness of the protocol. |#| Invariant | Description | |--| ---------------- | ------------------------------------------------------------- |