Login / Signup
Baobin Dai
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Semi Automatic
Formal Verification
Model Checker
Viewpoint
Top Venues
ACM Trans. Multim. Comput. Commun. Appl.
</>
Publications
</>
Honghao Gao
,
Baobin Dai
,
Huaikou Miao
,
Xiaoxian Yang
,
Ramón J. Durán Barroso
,
Walayat Hussain
A Novel GAPG Approach to Automatic Property Generation for Formal Verification: The GAN Perspective.
ACM Trans. Multim. Comput. Commun. Appl.
19 (1) (2023)