Embedded World 2021: Formally Verifying the FreeRTOS IPC Mechanism
Published on Mar 23, 2021
The FreeRTOS kernel is a real-time operating system for microcontrollers and small microprocessors. The kernel provides interprocess communication (IPC) to ...