Үүнийг мессежээр илгээх: A widening approach to multithreaded program verification