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

Full text for this resource is not available from the Research Repository.

Gao, Honghao, Dai, Baobin, Miao, Huaikou, Yang, Xiaoxian, Barroso, Ramon J Duran and Hussain, Walayat ORCID: 0000-0003-0610-4006 (2023) A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective. ACM Transactions on Multimedia Computing, Communications, and Applications. pp. 1-23. ISSN 1551-6857

Dimensions Badge

Altmetric Badge

Item type Article
URI https://vuir.vu.edu.au/id/eprint/44075
DOI https://doi.org/10.1145/3517154
Official URL https://dl.acm.org/doi/10.1145/3517154
Subjects Current > FOR (2020) Classification > 4602 Artificial intelligence
Current > FOR (2020) Classification > 4609 Information systems
Current > Division/Research > VU School of Business
Keywords software testing, communication technology, safety-critical systems
Download/View statistics View download statistics for this item

Search Google Scholar

Repository staff login