Correct by Construction - Graph View Build software so that correctness follows from the way it's put together, instead of trying to find and remove the bugs afterwards. View concept details Related ConceptsMake Illegal States Unrepresentable Parse, Don't Validate Smart Constructor Total Functions Memory Safety Formal Methods Design by Contract Property-Based Testing Pit of Success Poka-Yoke Algebraic Data Types Static Analysis Secure by Design ← Back to full graph