RELAY
From MaRDI portal
Cited in
(22)- Demand-driven interprocedural analysis for map-based abstract domains
- ArduPilot
- Eraser
- Static analysis for detecting high-level races in RTOS kernels
- Threader
- RacerX
- Analysis of correct synchronization of operating system components
- Goldilocks
- FreeRTOS
- scientific article; zbMATH DE number 6712238 (Why is no real title available?)
- Goblint
- LOCKSMITH
- HAVOC
- Kilim
- tsan
- ktsan
- MultiRace
- CHESS
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Dynamic race detection for C++11
- McPatom
- ChibiOS
This page was built for software: RELAY
