Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore a comprehensive lecture on the formalization of nominal equational reasoning in PVS, focusing specifically on nominal unification. Delve into the intricacies of this topic as presented by Mauricio Ayala-Rincón at the Hausdorff Center for Mathematics. Over the course of 38 minutes, gain insights into the theoretical foundations and practical applications of nominal unification within the context of the PVS theorem prover. Examine the challenges and solutions in formalizing equational reasoning with nominal techniques, and understand how this approach enhances the capabilities of automated reasoning systems.
