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

  1. Gao, H.
  2. Dai, B.
  3. Miao, H.
  4. Yang, X.
  5. Barroso, R.J.D.
  6. Walayat, H.
Journal:
ACM Transactions on Multimedia Computing, Communications and Applications

ISSN: 1551-6865 1551-6857

Year of publication: 2023

Volume: 19

Issue: 1

Type: Article

DOI: 10.1145/3517154 GOOGLE SCHOLAR

Sustainable development goals