Formalization of Nominal Equations Reasoning in PVS

Explore the intricacies of nominal anti-unification and equations reasoning in PVS through this comprehensive lecture. Delve into the formalization techniques presented by Mauricio Ayala-Rincón, supported by Brazilian agencies CAPES, CNPq, and FAPDF. Learn about the nasa/pvslib/nominal library and its applications in formal reasoning. Gain insights into advanced topics in computer science and mathematics during this hour-long presentation from the Hausdorff Center for Mathematics.