Mettez-vous hors ligne avec l'application Player FM !
Formal Methods - with Marius Melzer
Manage episode 374024854 series 3501962
Show Notes and Links
Flo and Julian managed to get Marius Melzer into the recording studio and talk with him about his passion: Formal Verification. In this episode, we make a broader sweep compared to our earlier spotlight on Ada/SPARK and touch on many projects that are on-going in the formal verification community.
We discuss how to get going with formal verification and also touch on the theoretical underpinnings.
We forgot to mention it in the episode, but please also check out Marius’ other project: palava.tv!
Additional sound effects from https://www.zapsplat.com.
- Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
- Send feedback to podcast@ukvly.org or via Twitter.
Resources
Chapitres
1. Intro (00:00:00)
2. What is Formal Methods? (00:07:51)
3. What happened since seL4? (00:13:09)
4. The French Tax System (00:15:44)
5. DeepSpec (00:17:55)
6. Project Everest (00:20:36)
7. What goes into a formally verified program? (00:23:04)
8. Theorem Provers (00:34:10)
9. Type Systems (00:37:30)
10. Proofs in existing languages (00:54:03)
11. Where do I start? (00:56:58)
12. Outro (01:02:30)
11 episodes
Manage episode 374024854 series 3501962
Show Notes and Links
Flo and Julian managed to get Marius Melzer into the recording studio and talk with him about his passion: Formal Verification. In this episode, we make a broader sweep compared to our earlier spotlight on Ada/SPARK and touch on many projects that are on-going in the formal verification community.
We discuss how to get going with formal verification and also touch on the theoretical underpinnings.
We forgot to mention it in the episode, but please also check out Marius’ other project: palava.tv!
Additional sound effects from https://www.zapsplat.com.
- Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
- Send feedback to podcast@ukvly.org or via Twitter.
Resources
Chapitres
1. Intro (00:00:00)
2. What is Formal Methods? (00:07:51)
3. What happened since seL4? (00:13:09)
4. The French Tax System (00:15:44)
5. DeepSpec (00:17:55)
6. Project Everest (00:20:36)
7. What goes into a formally verified program? (00:23:04)
8. Theorem Provers (00:34:10)
9. Type Systems (00:37:30)
10. Proofs in existing languages (00:54:03)
11. Where do I start? (00:56:58)
12. Outro (01:02:30)
11 episodes
Tous les épisodes
×Bienvenue sur Lecteur FM!
Lecteur FM recherche sur Internet des podcasts de haute qualité que vous pourrez apprécier dès maintenant. C'est la meilleure application de podcast et fonctionne sur Android, iPhone et le Web. Inscrivez-vous pour synchroniser les abonnements sur tous les appareils.