Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores
| Main Author: | Anonymous |
|---|---|
| Format: | info software Journal |
| Terbitan: |
, 2021
|
| Online Access: |
https://zenodo.org/record/5299579 |
Daftar Isi:
- A PROMELA model of the FreeRTOS kernel; and, reproductions of the errors reported by the Spin model checker.