Pages that link to "Item:Q2881094"
From MaRDI portal
The following pages link to Static analysis of run-time errors in embedded real-time parallel C programs (Q2881094):
Displaying 7 items.
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- Improving thread-modular abstract interpretation (Q2145342) (← links)
- Static analysis for detecting high-level races in RTOS kernels (Q2147701) (← links)
- Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions (Q2961579) (← links)
- (Q3152938) (← links)
- Three improvements to the top-down solver (Q5084314) (← links)
- Clustered relational thread-modular abstract interpretation with local traces (Q6535225) (← links)