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