The highest profile project that has been using the K framework for formal specification and formal verification is likely Ethereum: - The K EVM, the execution

The highest profile project that has been using the K framework for formal specification and formal verification is likely Ethereum: - The K EVM, the execution environment of Ethereum Smart Contract: https://github.com/kframework/evm-semantics https://github.com/kframework/evm-semantics - Formal verification of the Beacon Chain, the Proof-Of-Stake consensus and finality protocol for Etheruem 2.0 phase 0: https://github.com/runtimeverification/beacon-chain-verification https://github.com/runtimeverification/beacon-chain-verifica...