Software correctness verification

Is it possible to check software correctness with microflows? You could start with static checks to see wether a microflow is ended anyway. E.g. A = 1 --> A = A - 1 --> if A > 100 --> End A big advantage of microflows compared to traditional language that it is more restricted and more structured.
1 answers

Correctness behavior might explode in complexity for non trivial microflows, and we try to keep the checks fast enough to do it 'real-time'. However it might be interesting for a 'Mendix Lint Tool' indeed.