A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective
- Gao, H.
- Dai, B.
- Miao, H.
- Yang, X.
- Barroso, R.J.D.
- Walayat, H.
ISSN: 1551-6865, 1551-6857
Año de publicación: 2023
Volumen: 19
Número: 1
Tipo: Artículo