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