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.
Revista:
ACM Transactions on Multimedia Computing, Communications and Applications

ISSN: 1551-6865,  1551-6857

Año de publicación: 2023

Volumen: 19

Número: 1

Tipo: Artículo

DOI: 10.1145/3517154 GOOGLE SCHOLAR
Fuente de los datos: Scopus