Small research project I did on the TLA+ tool, as a specification checker and a theorem-prover.
This research was part of my Formal Methods course, imparted by Dr. Lourdes del Carmen González Huesca and TA Brayan Martínez.
Both the written document and the slides are in Spanish.