Sádde merkoša šleađgaboasttain: Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+