Gerardo Di Giacomo

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Formal Verification

Top Venues

Publications

Junkil Park, Teng Zhang, Wolfgang Grieskamp, Meng Xu, Gerardo Di Giacomo, Kundu Chen, Yi Lu, Robert Chen
Securing Aptos Framework with Formal Verification. FMBC@CAV (2024)