Proving correctness of multithread algorithms Proving correctness of multithread algorithms multithreading multithreading