# Formal verification of IoT applications using rewriting logic: An MDE-based approach

> Research article (Science of Computer Programming, 2022) · cited 14× · AI/ML

**Wikidata**: [openalex:W4292381902](https://www.wikidata.org/wiki/openalex:W4292381902)  
**Source**: https://4ort.xyz/entity/formal-verification-of-iot-applications-using-rewriting-logic-an-mde-based-approach