# Towards Energy Efficient Approx Cache-coherence Protocol Verified using Model Checker

> Research article (Computers & Electrical Engineering, 2021) · cited 11× · AI/ML

**Wikidata**: [openalex:W3215213953](https://www.wikidata.org/wiki/openalex:W3215213953)  
**Source**: https://4ort.xyz/entity/towards-energy-efficient-approx-cache-coherence-protocol-verified-using-model-checker