Goldilocks
From MaRDI portal
swMATH12806MaRDI QIDQ24730FDOQ24730
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1250762
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
- Multithreaded testing of program interfaces
- Atomizer
- Eraser
- Velodrome
- Checkfence
- Java-MaC
- LOCKSMITH
- VS3
- RELAY
- ktsan
- MultiRace
- ThreadSanitizer
- tsan
- AVIO
- bzip2smp
- CHESS
- CTrigger
- Falcon
- FastTrack
- ANaConDA
- Copilot
- Dynamically checking ownership policies in concurrent C/C++ programs
- BIDE
- Dynamic race detection for C++11
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: Goldilocks
