Theory Makes Beautiful Programs
Offered By: NDC Conferences via YouTube
Course Description
Overview
Explore the importance of Modified Condition/Decision Coverage (MC/DC) in a conference talk from NDC TechTown 2022. Delve into the significance of MC/DC for code correctness, particularly in safety-oriented industries like automotive and aerospace. Learn about an innovative algorithm designed to determine condition coverage from control flow graphs, implemented in gcc. Discover the benefits of MC/DC, understand why it should be incorporated into development practices, and see how theoretical concepts can lead to elegant programming solutions. This 59-minute presentation offers valuable insights for developers interested in enhancing code quality and safety through advanced testing techniques.
Syllabus
Theory makes beautiful programs - Jørgen Kvalsvik - NDC TechTown 2022
Taught by
NDC Conferences
Related Courses
Safety and Robustness for Deep Learning with Provable Guarantees - Marta Kwiatkowska - OxfordAlan Turing Institute via YouTube Applicable and Achievable Formal Verification
USENIX via YouTube Hypervisor-less Virtio for Real-time and Safety
Linux Foundation via YouTube Collaborate on Linux for Use in Safety-Critical Systems
Linux Foundation via YouTube Learning to Control Safety-Critical Systems
Simons Institute via YouTube