|
|
|
|
|
|
by donovanm
3295 days ago
|
|
|
Exactly by the time you could formally prove the application is correct, the market will have moved on to something different. Right now the combination of quick to develop and mostly correct seems to be more desirable to companies then slow to develop and formally correct. The success of languages like JavaScript and python show this. |
|
|