Cited By
View all- Yuan SBesson FTalpin J(2024)End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoTComputer Aided Verification10.1007/978-3-031-65627-9_16(325-347)Online publication date: 26-Jul-2024
- ANNENKOV DMILO MNIELSEN JSPITTERS B(2022)Extracting functional programs from Coq, in CoqJournal of Functional Programming10.1017/S095679682200007732Online publication date: 22-Aug-2022
- Yuan SBesson FTalpin JHym SZandberg KBaccelli E(2022)End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllersComputer Aided Verification10.1007/978-3-031-13188-2_15(293-316)Online publication date: 6-Aug-2022
- Show More Cited By