In software development, it's essential to be cautious of success, especially when verifying code. Leslie Lamport's principle "Be Suspicious of Success" (BSOS) reminds us that a program working correctly might not necessarily work for the right reasons. Verification methods like model-checking and testing can provide confidence in our code, but we must also question their results to ensure they're reliable.

Source: https://buttondown.com/hillelwayne/archive/be-suspicious-of-success/