RacerX
From MaRDI portal
Software:21920
swMATH9941MaRDI QIDQ21920FDOQ21920
Author name not available (Why is that?)
Cited In (15)
- Program analysis to support concurrent programming in declarative languages
- Strengthening Induction-Based Race Checking with Lightweight Static Analysis
- Title not available (Why is that?)
- Static analysis for detecting high-level races in RTOS kernels
- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets
- Effect-polymorphic behaviour inference for deadlock checking
- Deadlock checking by a behavioral effect system for lock handling
- Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems
- Succinct representation of concurrent trace sets
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
- Automatic analysis of DMA races using model checking and \(k\)-induction
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
- Code aware resource management
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: RacerX
