Goldilocks
From MaRDI portal
Software:24730
No author found.
Related Items (9)
Formalization of Habanero phasers using Coq ⋮ Multithreaded testing of program interfaces ⋮ Dynamic race detection for C++11 ⋮ Verification of STM on relaxed memory models ⋮ Abstraction and mining of traces to explain concurrency bugs ⋮ Introduction to the special issue on runtime verification ⋮ SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs ⋮ Dynamically checking ownership policies in concurrent c/c++ programs ⋮ Automated formal analysis and verification: an overview
This page was built for software: Goldilocks
