Goldilocks
From MaRDI portal
Software:24730
swMATH12806MaRDI QIDQ24730FDOQ24730
Author name not available (Why is that?)
Cited In (9)
- Introduction to the special issue on runtime verification
- Dynamically checking ownership policies in concurrent c/c++ programs
- 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
- Dynamic race detection for C++11
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: Goldilocks
