Kalacı, Önder.
(Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2014., 2014.)
Recent advances in hardware drive software to be more concurrent than ever. Concurrency in software is achieved by multithreading, which creates veri cation challenges. These challenges include problems such as deadlocks, ...