Cited in
(11)- ChibiOS
- McPatom
- Using formal reasoning on a model of tasks for FreeRTOS
- RAISE
- Verifying pointer safety for programs with unknown calls
- ArduPilot
- RacerX
- RELAY
- Saber on ESP32
- Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
- Static analysis for detecting high-level races in RTOS kernels
This page was built for software: FreeRTOS
