# Formalizing Correct-by-Construction Casper in Coq

> Research article (2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2020) · cited 11× · AI/ML

**Wikidata**: [openalex:W3054925353](https://www.wikidata.org/wiki/openalex:W3054925353)  
**Source**: https://4ort.xyz/entity/formalizing-correct-by-construction-casper-in-coq