Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the complex concept of program correctness in this conference talk from C++Now 2025, where David Sankel examines what it truly means for a C++ program to be "correct." Delve into various attempts to define program correctness and discover the inherent pitfalls and limitations of each approach. Learn why formal correctness, while important, has significant constraints in real-world software development scenarios. Understand the broader implications of correctness in software engineering and consider alternative approaches to achieving reliable, high-quality code. Gain insights from Adobe's Principal Scientist and active C++ Standardization Committee member as he challenges conventional thinking about program verification and explores more practical methodologies for ensuring software reliability. Examine the gap between theoretical correctness and practical software development needs, and discover strategies for building robust C++ applications that go beyond traditional correctness paradigms.
