# Formal Verification approaches of Self-adaptive Systems: A Survey

> Research article (Procedia Computer Science, 2019) · cited 14× · AI/ML

**Wikidata**: [openalex:W2981209793](https://www.wikidata.org/wiki/openalex:W2981209793)  
**Source**: https://4ort.xyz/entity/formal-verification-approaches-of-self-adaptive-systems-a-survey