Correct by Construction: APIs That Are Easy to Use and Hard to Misuse - Matt Godbolt [ C++ on Sea ]
CppCon 2018: Ben Deane “Easy to Use, Hard to Misuse: Declarative Style in C++”
pFaces/SymControl: Realtime Correct-by-construction Path Planning for Autonomous Vehicles
Correct Code by Construction by Walter Schulze & Paul Cadman
Making Software 'Correct by Construction' - Professor Martyn Thomas CBE
Publisher-Subscriber No Apologies C++ Exercise
The Art of Correct by Construction Programming
CppCon 2017: Ben Deane “std:: exchange Idioms”
A Correct by Construction Asynchronous Casper Protocol
Retiring the Singleton Pattern, Concrete Suggestions for What to Use Instead - Pete Muldoon ACCU 21
Alex Lew presents on Probabilistic Programming with Correct-by-Construction Densities
NSDI '17 - Correct by Construction Networks Using Stepwise Refinement
Correct-by-construction Synthesis of Hierarchical Control Protocols
Lightning Talks: 5 Things You Didn't Know Your CPU Did For You - Matt Godbolt - C++ on Sea 2023
Matt Godbolt - C++ on Sea 2019 - Amazing Compilers.
Object-Oriented Program: Best Practices - Jon Kalb [ C++ on Sea 2020 ]
Casper the Friendly GHOST: A correct-by-construction blockchain
Correctness-by-Construction for Feature-Oriented Software Product Lines
CppCon 2019: Ben Deane “Everyday Efficiency: In-Place Construction (Back to Basics?)”
Tutorial: The Correctness-by-Construction Approach to Programming.