The following pages link to RELAY (Q32045):
Displaying 6 items.
- Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
- Static analysis for detecting high-level races in RTOS kernels (Q2147701) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- (Q2981009) (← links)
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions (Q3540069) (← links)
- Dynamic race detection for C++11 (Q5370880) (← links)