RELAY
From MaRDI portal
Software:32045
swMATH20225MaRDI QIDQ32045FDOQ32045
Author name not available (Why is that?)
Cited In (6)
- Title not available (Why is that?)
- Analysis of correct synchronization of operating system components
- Static analysis for detecting high-level races in RTOS kernels
- Demand-driven interprocedural analysis for map-based abstract domains
- Dynamic race detection for C++11
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
This page was built for software: RELAY
