Softwareengineering: Best way to "verify" programs

Channel:
Peter Schneider
Subscribers:
4,440
Published on ● Video Link: https://www.youtube.com/watch?v=-pQeor7SX4k


Duration: 0:00
0 views
0

Best way to "verify" programs
I hope you found a solution that worked for you :)
The Content is licensed under (https://meta.stackexchange.com/help/licensing) CC BY-SA.
Attention! This video does always use the same license as the source!
Thanks to all those great people for their contributions!

(softwareengineering.stackexchange.com/users/290091/dannyniu)DannyNiu
(softwareengineering.stackexchange.com/users/131624/candied-orange)candied_orange
A special thanks goes out to the (softwareengineering.stackexchange.com/questions/457379/best-way-to-verify-programs)Stackexchange community

I wish you all a wonderful day! Stay safe :)
If anything is off, please write me at peter D.O.T schneider A.T ois42.de

code-quality testing methodology



Other Videos By Peter Schneider


2025-05-18Ux: Best resources to make great reusable UI elements (icons/buttons/etc)? closed
2025-05-18Ux: Suggested mobile approach to dual actions
2025-05-18Ux: What's the best terminology for switching from a mobile site to the "full" website?
2025-05-18Ux: Does Android app need back button?
2025-05-18Ux: How to layout form navigation for best usability?
2025-05-18Check at compile time that a function call triggers a static_assert(false)
2025-05-18What creates security around passkey creation that makes it stronger than a password?
2025-05-18Ux: Does a log in/sign up field always have to be top right?
2025-05-18Ux: Interface Flowchart Examples closed
2025-05-18Ux: How important is the ability to change the color theme on a desktop application?
2025-05-17Softwareengineering: Best way to "verify" programs
2025-05-16Apple: What are the exact macOS system requirements for using AirPods 4 (noise cancellation)?
2025-05-16How to self-sign a DNSKEY?
2025-05-16Is implicit conversion to std::optional guaranteed to use move constructor?
2025-05-16Tex: Understanding SizeFeatures of fontspec
2025-05-16Electronics: Running a three-phase AC generator at varying RPM and output voltage?
2025-05-16Apple: Can't connect two displays to MacBook with M4 pro
2025-05-16Ethereum: Is there any way to reuse schema.graphql files between subgraphs on The Graph?
2025-05-16Tex: Drawing a Markov chain closed
2025-05-16Ethereum: Trying to send tx via EIP-7702
2025-05-16Why does the variadic template function behave differently from the template function?