Static analysis for detecting high-level races in RTOS kernels
From MaRDI portal
Publication:6535959
Recommendations
- Static analysis for detecting high-level races in RTOS kernels
- Data races and static analysis for interrupt-driven kernels
- Static race detection for periodic programs
- Static analysis of embedded real-time concurrent software with dynamic priorities
- Fast and Accurate Static Data-Race Detection for Concurrent Programs
Cites work
Cited in
(2)
This page was built for publication: Static analysis for detecting high-level races in RTOS kernels
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535959)