A model checker for real-time task graphs that finds priority inversions and tests inheritance and ceiling protocols.
local-first protocol-simulator operating-systems-runtime-systems task-lock-dsl timed-transition-system partial-order-reducer blocking-analyzer
-
Updated
Sep 18, 2026 - Python