Login / Signup

Towards Functional Verification of eBPF Programs.

Dana LuBoxuan TangMichael PaperMarios Kogias
Published in: eBPF@SIGCOMM (2024)
Keyphrases
  • functional verification
  • formal verification
  • low cost
  • computer programs