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.
Overview
Syllabus
Mauricio Ayala-Rincón: Formalisation of nominal equations reasoning in PVS*
Taught by
Hausdorff Center for Mathematics
Related Courses
-
Formalization of Nominal Equational Reasoning in PVS - Nominal Unification
-
Algebraic Theorems in PVS
-
Modularity in PVS
-
System Introductions I - PVS
-
Nominal Recursors as Epi-Recursors - POPL 2024
-
Abstraction Engineering with the Prototype Verification System (PVS) - Introduction to Interactive Theorem Proving
