RELAY
From MaRDI portal
Software:32045
No author found.
Related Items (6)
Unnamed Item ⋮ Static analysis for detecting high-level races in RTOS kernels ⋮ Dynamic race detection for C++11 ⋮ Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions ⋮ Analysis of correct synchronization of operating system components ⋮ Demand-driven interprocedural analysis for map-based abstract domains
This page was built for software: RELAY
