Cited in
(88)- Set-based access conflict analysis of concurrent workflow definition
- Analysis of correct synchronization of operating system components
- Securing interaction between threads and the scheduler in the presence of synchronization
- Computer Aided Verification
- Computer Aided Verification
- Optimistic synchronization-based state-space reduction
- Symbolic predictive analysis for concurrent programs
- scientific article; zbMATH DE number 1951185 (Why is no real title available?)
- Static analysis for detecting high-level races in RTOS kernels
- Experimental evaluation of verification and validation tools on Martian Rover software
- MPI-CHECK: a tool for checking Fortran 90 MPI programs
- veriSoft
- SCRATCH
- Bogor
- occam-pi
- ArduPilot
- Bandera
- Atomizer
- Interproc
- STMBench7
- Autolocker
- Velodrome
- ConTest
- Lee-TM
- SNZI
- dSPIN
- JPAX
- STAMP
- SingleTrack
- RacerX
- SPLASH-2
- Specomp
- WormBench
- Threader
- Feather-Trace
- Goldilocks
- DPF
- GDB
- ALPBench
- FreeRTOS
- Octagon
- ADABU
- DIOTA
- Goblint
- LOCKSMITH
- RELAY
- ktsan
- MultiRace
- ThreadSanitizer
- tsan
- Guava
- AVIO
- bzip2smp
- CHESS
- CTrigger
- Falcon
- FastTrack
- PhTM
- Zapato
- tm_db
- BIDE
- Multithreaded testing of program interfaces
- Adaptive locks: combining transactions and locks for efficient concurrency
- scientific article; zbMATH DE number 1670563 (Why is no real title available?)
- Effect-polymorphic behaviour inference for deadlock checking
- Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems
- Dynamically checking ownership policies in concurrent C/C++ programs
- Succinct representation of concurrent trace sets
- Automatic analysis of DMA races using model checking and k-induction
- Extensible transactional memory testbed
- Automated Technology for Verification and Analysis
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
- First-order temporal logic monitoring with BDDs
- Framework for testing multi‐threaded Java programs
- Automatic verification of determinism for structured parallel programs
- Code aware resource management
- Strengthening induction-based race checking with lightweight static analysis
- scientific article; zbMATH DE number 2090851 (Why is no real title available?)
- Euro-Par 2004 Parallel Processing
- Fast and Accurate Static Data-Race Detection for Concurrent Programs
- Dynamic race detection for C++11
- Finding Concurrency-Related Bugs Using Random Isolation
- Model checking database applications
- Tools and Algorithms for the Construction and Analysis of Systems
- ChibiOS
- McPatom
- 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: Eraser
