RacerX
From MaRDI portal
Cited in
(46)- Roslyn
- Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems
- ChibiOS
- McPatom
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- scientific article; zbMATH DE number 6712238 (Why is no real title available?)
- Succinct representation of concurrent trace sets
- Static trace-based deadlock analysis for synchronous Mini-Go
- Abstraction and mining of traces to explain concurrency bugs
- SCRATCH
- ArduPilot
- Program analysis to support concurrent programming in declarative languages
- Eraser
- TaskChecker
- Gadara
- CCured
- Goldilocks
- GDB
- CSSV
- FreeRTOS
- ConRepair
- Goblint
- HAVOC
- Limi
- Liss
- Kilim
- LOCKSMITH
- RELAY
- AVIO
- bzip2smp
- CHESS
- CTrigger
- Falcon
- FastTrack
- Gopherlyzer
- Privtrans
- TyPiCal
- Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets
- BIDE
- Deadlock checking by a behavioral effect system for lock handling
- Strengthening induction-based race checking with lightweight static analysis
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Automatic analysis of DMA races using model checking and \(k\)-induction
- Effect-polymorphic behaviour inference for deadlock checking
- Code aware resource management
- Static analysis for detecting high-level races in RTOS kernels
This page was built for software: RacerX
