Goldilocks
From MaRDI portal
Cited in
(30)- Eraser
- Atomizer
- Velodrome
- Checkfence
- Formalization of Habanero phasers using Coq
- Multithreaded testing of program interfaces
- Automated formal analysis and verification: an overview
- VS3
- Java-MaC
- LOCKSMITH
- RELAY
- tsan
- ktsan
- MultiRace
- ThreadSanitizer
- CTrigger
- bzip2smp
- FastTrack
- Falcon
- CHESS
- AVIO
- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- ANaConDA
- Copilot
- Verification of STM on relaxed memory models
- Dynamically checking ownership policies in concurrent C/C++ programs
- Dynamic race detection for C++11
- BIDE
- Introduction to the special issue on runtime verification
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: Goldilocks
