FreeRTOS

swMATH13767WikidataQ1186761 ScholiaQ1186761MaRDI QIDQ25679FDOQ25679

Author name not available (Why is that?)

Cited In (5)

• Verifying pointer safety for programs with unknown calls
• Static analysis for detecting high-level races in RTOS kernels
• Saber on ESP32
• Using formal reasoning on a model of tasks for FreeRTOS
• Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency

This page was built for software: FreeRTOS