End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.
Shenghao YuanFrédéric BessonJean-Pierre TalpinSamuel HymKoen ZandbergEmmanuel BaccelliPublished in: CAV (2) (2022)
Keyphrases
- end to end
- virtual machine
- operating system
- distributed computing
- wireless ad hoc networks
- ad hoc networks
- computing resources
- virtual memory
- data center
- low latency
- congestion control
- admission control
- multipath
- multi tasking
- database
- high bandwidth
- computer systems
- reinforcement learning
- real world
- application layer
- scalable video
- information systems
- real time