Formalization of Nominal Equations Reasoning in PVS

Formalization of Nominal Equations Reasoning in PVS

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it 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.