RELAY
From MaRDI portal
swMATH20225MaRDI QIDQ32045FDOQ32045
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1287654
Cited In (22)
- ChibiOS
- McPatom
- 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
- ArduPilot
- Eraser
- RacerX
- Threader
- Goldilocks
- FreeRTOS
- Goblint
- HAVOC
- Kilim
- LOCKSMITH
- ktsan
- MultiRace
- tsan
- CHESS
- Dynamic race detection for C++11
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
This page was built for software: RELAY
