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