# Formal Simulation and Verification of Solidity contracts in Event-B

> Research article (2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC), 2021) · cited 11× · AI/ML

**Wikidata**: [openalex:W3200256353](https://www.wikidata.org/wiki/openalex:W3200256353)  
**Source**: https://4ort.xyz/entity/formal-simulation-and-verification-of-solidity-contracts-in-event-b