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