Text this: Abordagens paralelas para Model Checking de redes de autômatos estocásticos