FreeRTOS

swMATH13767WikidataQ1186761 ScholiaQ1186761MaRDI QIDQ25679FDOQ25679

Author name not available (Why is that?)

Official website: http://www.freertos.org/

Cited In (10)

• ChibiOS
• McPatom
• Verifying pointer safety for programs with unknown calls
• Static analysis for detecting high-level races in RTOS kernels
• Saber on ESP32
• ArduPilot
• RacerX
• Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
• RELAY
• Using formal reasoning on a model of tasks for FreeRTOS

This page was built for software: FreeRTOS