# Formal Modeling and Verification of Smart Contracts

> Research article (Proceedings of the 2018 7th International Conference on Software and Computer Applications, 2018) · cited 100× · AI/ML

**Wikidata**: [openalex:W2804791132](https://www.wikidata.org/wiki/openalex:W2804791132)  
**Source**: https://4ort.xyz/entity/formal-modeling-and-verification-of-smart-contracts