To my opinion, the first problem with model analysis whether formal or not (what does really formal means ?) is: is there a market for analysis alone? It looks to me that people spend so much time building and verifying models that they have no more time to analyze them.
The fact that analyzing a model takes much more time than building it, reinforces that situation.
The same situation occurs with business people meeting. A report of the meeting is rarely produced and the next meeting, nobody has read the report.
One of the solutions is to build models that can be easily analyzed, or even that are analyzed automatically. This is why I like reality checks that are built in the model and verify the coherence of its results with some aspects of reality. It alleviates the burden of model analysis.
The problem with reality checks is that it needs practice and doubles the time to build a model if done seriously. It too necessitates a strict top down model building, starting from the simple (no details) to the more elaborate, reality checks being added at each step as new material is added to the model. But there is nothing new to that. More quality needs more work.
I share with you the belief that one of the prime SD’s problems is building models easy to use for the client.