Formalization of Nominal Equations Reasoning in PVS

Offered By: Hausdorff Center for Mathematics via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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.

Syllabus

Mauricio Ayala-Rincón: Formalisation of nominal equations reasoning in PVS*

Taught by

Hausdorff Center for Mathematics

Related Courses

SPARK 2014
AdaCore via Independent Automated Reasoning: Symbolic Model Checking
EIT Digital via Coursera Software Testing and Verification
University System of Maryland via edX Haskell for Imperative Programmers
YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube