RacerX
From MaRDI portal
Software:21920
No author found.
Related Items (15)
Unnamed Item ⋮ Static Trace-Based Deadlock Analysis for Synchronous Mini-Go ⋮ Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets ⋮ Static analysis for detecting high-level races in RTOS kernels ⋮ Effect-polymorphic behaviour inference for deadlock checking ⋮ Concurrency bugs in multithreaded software: modeling and analysis using Petri nets ⋮ Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems ⋮ Deadlock checking by a behavioral effect system for lock handling ⋮ Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions ⋮ Abstraction and mining of traces to explain concurrency bugs ⋮ Code aware resource management ⋮ Strengthening Induction-Based Race Checking with Lightweight Static Analysis ⋮ Succinct Representation of Concurrent Trace Sets ⋮ Automatic analysis of DMA races using model checking and \(k\)-induction ⋮ Program Analysis to Support Concurrent Programming in Declarative Languages
This page was built for software: RacerX
