Creació d'un motor de verificació autònom per a entorns de prova reguladors (CA)