Yansong Dong

Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints

Interrupt-driven programs are extensively utilized in embedded systems for safety-critical domains. However, uncertain interleaving executions of enabled tasks with different priorities often lead to concurrency defects. In this context, assertion violation detection is a fundamental method to ensure program correctnes...