Posts by Rikard Hjort
MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics
By Rikard HjortJanuary 5th, 2021
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
By Rikard HjortMarch 26th, 2020
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
