Αποστολή με SMS: Δυναμικός συμβολικός έλεγχος με χρήση πολλαπλών SMT επιλυτών