Initial tinkering with a BPF metalanguage and implementation formally verified in Coq.
mmcco / verified-bpf Goto Github PK
View Code? Open in Web Editor NEWInitial tinkering with a BPF metalanguage and implementation formally verified in Coq.
License: BSD 3-Clause "New" or "Revised" License