For business applications, formal methods are really limited to core algorithms.

The real problem is that data entry and validation should be a solved problem. Sadly this is not the case. Try using .Net WPF or React and your only recourse is to Stack Overflow. These frameworks are over complicated and are full of weird edge cases that make everyday programming tedious and error prone.

Lets get our house in order before we break out the temporal logic.