© 2026 LinearBytes Inc.
Search posts, tags, users, and pages
Adrián RC
Very good article!
I'm confused with "Strength Class Invariants" and "Weakens the precondition". With those examples it looks like a contradiction.
Mohamed Mayallo
Self-taught Software Engineer
Thanks Adrián, If you mean the logical conditions, I have just edited it.
Thank you Mohamed Mayallo I learned a lot with your blog. Thank you.
Really, thank you Adrián RC. I am so pleased to know that. Actually, such valuable feedbacks encourage me a lot.