A pragmatic verification approach for concurrent programs. - Truc Nguyen Lam (2017)