Pošalji tekstualnu poruku: Verifying multi-threaded software with impact