Browsing by Subject "Record and Replay"
Now showing items 1-1 of 1
-
(2019-11-20)Concurrent programs are ubiquitous, from the high-end servers to personal machines, due to the fact of multi-core hardware. Unfortunately, it is difficult to write correct concurrent programs. Stateless Model Checking (SMT) ...