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