Text this: Um estudo sobre verificação formal de sistemas concorrentes