From d95243995c2abcb95e0380682a3bfe7de3bae9ef Mon Sep 17 00:00:00 2001 From: rahul <10168946+raxhvl@users.noreply.github.com> Date: Sat, 4 May 2024 14:01:40 +0530 Subject: [PATCH] nit: Co-authored-by: Shyam Patel --- docs/wiki/testing/formal-verification.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/wiki/testing/formal-verification.md b/docs/wiki/testing/formal-verification.md index 984ba12d..0a2b9161 100644 --- a/docs/wiki/testing/formal-verification.md +++ b/docs/wiki/testing/formal-verification.md @@ -97,7 +97,7 @@ Safety and liveliness assurance is central to Ethereum's decentralized infrastru ### Protocol verification -Formal verification was used to by the [Runtime Verification team](https://github.com/runtimeverification) to verify [bacon chain specification](https://runtimeverification.com/blog/a-formal-model-in-k-of-the-beacon-chain-ethereum-2-0s-primary-proof-of-stake-blockchain), and the [Gasper finality mechanism](https://runtimeverification.com/blog/formally-verifying-finality-in-gasper-the-core-of-the-beacon-chain). +Formal verification is used by the [Runtime Verification team](https://github.com/runtimeverification) to verify [bacon chain specification](https://runtimeverification.com/blog/a-formal-model-in-k-of-the-beacon-chain-ethereum-2-0s-primary-proof-of-stake-blockchain), and the [Gasper finality mechanism](https://runtimeverification.com/blog/formally-verifying-finality-in-gasper-the-core-of-the-beacon-chain). [KEVM](https://github.com/runtimeverification/evm-semantics) builds upon [K framework](https://kframework.org/) for crafting formal semantics and conducting verification of the [Ethereum Virtual Machine (EVM)](/wiki/EL/evm.md) specification for correctness.