You mean something like model-based development? That is a thing, at least I know it is in use for some safety critical development. The two products I am aware

You mean something like model-based development? That is a thing, at least I know it is in use for some safety critical development. The two products I am aware of are: * SCADE Suite: https://www.ansys.com/products/embedded-software/ansys-scade-suite https://www.ansys.com/products/embedded-software/ansys-scade... * TargetLink: https://www.dspace.com/en/inc/home/products/sw/pcgs/targetli.cfm https://www.dspace.com/en/inc/home/products/sw/pcgs/targetli... (Generates C code from MathWorks SimuLink models) I suppose the nice thing about these is that you can show some (safety and/or behavourial) properties directly on the model.