Login / Signup

Securing Aptos Framework with Formal Verification.

Junkil ParkTeng ZhangWolfgang GrieskampMeng XuGerardo Di GiacomoKundu ChenYi LuRobert Chen
Published in: FMBC@CAV (2024)
Keyphrases
  • formal verification
  • main contribution
  • lightweight
  • theoretical framework
  • model checking
  • knowledge representation
  • information security
  • description language