A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective. - Honghao Gao; Baobin Dai; Huaikou Miao; Xiaoxian Yang; Ramón J. Durán Barroso; Walayat Hussain (ACM Trans. Multim. Comput. Commun. Appl., 2023)