Why don't specifications like TLA+ become standards in the dev industry? It can sort out alot of these issues that have todo with clearly articulating how com

Why don't specifications like TLA+ become standards in the dev industry? It can sort out alot of these issues that have todo with clearly articulating how complex software works.