Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores.

Chen-Kai Lin Bow-Yaw Wang

Published in: CoRR (2022)

Keyphrases

formal analysis
multi core architecture
scheduling algorithm
human brain
visual cortex
multi core processors
cerebral cortex
formal methods
information processing
cortical surface
resource utilization
information systems
agent model
machine learning