The changing role of finite-state model checking
2 points by ahelwer
2 points by ahelwer
I wonder if valgrind has the right kind of infrastructure for deterministic testing? The article’s observations about emulating cache coherency protocols made me think of cachegrind, though I know cachegrind is more about profiling and performance simulation, and istr there are significant caveats about the accuracy of its models.