# Full contract verification for ATL using symbolic execution

> Research article (Software & Systems Modeling, 2016) · cited 22× · AI/ML

**Wikidata**: [openalex:W2478959938](https://www.wikidata.org/wiki/openalex:W2478959938)  
**Source**: https://4ort.xyz/entity/full-contract-verification-for-atl-using-symbolic-execution