Theory Makes Beautiful Programs

Offered By: NDC Conferences via YouTube

Course Description

Overview

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

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 - Oxford
Alan 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