# A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective

> Research article (ACM Transactions on Multimedia Computing Communications and Applications, 2022) · cited 28× · AI/ML

**Wikidata**: [openalex:W4213195950](https://www.wikidata.org/wiki/openalex:W4213195950)  
**Source**: https://4ort.xyz/entity/a-novel-gapg-approach-to-automatic-property-generation-for-formal-verification-the-gan-perspective