YoVDO

Automated Theorem Proving with dL in Julia

Offered By: The Julia Programming Language via YouTube

Tags

Julia Courses ModelingToolkit.jl Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore automated theorem proving for hybrid systems in this JuliaCon 2024 conference talk. Discover Elenchos, a Julia package designed to simplify the theorem proving process for hybrid system models. Learn how to translate ModelingToolkit.jl models into differential dynamic logic and interface with the KeYmaera X theorem prover for automatic verification of system properties. Delve into fundamental theorem proving concepts like loop invariants and quantifier elimination. Compare theorem proving with other verification methods such as simulation, reachability analysis, and manual analysis. Gain insights into the importance of formal verification for complex systems like cars, robots, and planes, where both continuous and discrete dynamics are present.

Syllabus

Automated Theorem Proving with dL in Julia | Hellwig | JuliaCon 2024


Taught by

The Julia Programming Language

Related Courses

Julia Scientific Programming
University of Cape Town via Coursera Julia for Beginners in Data Science
Coursera Project Network via Coursera Linear Regression and Multiple Linear Regression in Julia
Coursera Project Network via Coursera Decision Tree and Random Forest Classification using Julia
Coursera Project Network via Coursera Logistic Regression for Classification using Julia
Coursera Project Network via Coursera