Login / Signup
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
Published in:
ACM Trans. Multim. Comput. Commun. Appl. (2023)
Keyphrases
</>
formal verification
model checking
bounded model checking
automated verification
viewpoint
model checker
symbolic model checking
semi automatic
program slicing
expert systems
image analysis
fully automatic