Scheduling
11. März 2021
with Michael Roitzsch
State of Hardware 2020
24. Dezember 2020
with Werner Haas
HelenOS
15. September 2020
with Martin Decky
Formal Methods
10. August 2020
with Marius Melzer
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
- Erlang
- Elixir
- Haskell
- Haskell Programming from First Principles
- Lambda Days
- Coq
- seL4
- DeepSpec
- Project Everest
- Idris
- Ada/SPARK
- Isabelle
- Lean
- Frama-C
- LiquidHaskell
- F*