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
Any de publicació: 2023
Volum: 19
Número: 1
Tipus: Article