SMS versenden: Verifikácia konkurentných programov napísaných v jazyku C