“O TLA+ já foi usado com sucesso por grandes empresas de tecnologia como Amazon, Oracle e Microsoft para verificar e projetar sistemas em escala planetária”, continuou o porta-voz.“Ao estabelecer uma fundação TLA+ sob o guarda -chuva da Fundação Linux, o TLA+ ganhará maior visibilidade e apoio, promovendo sua adoção mais ampla na indústria de tecnologia.Para dar alguns exemplos, o Elasticsearch, a organização por trás do mecanismo de pesquisa com o mesmo nome, usou o TLA+ para verificar a correção de seus algoritmos de sistemas distribuídos.Em outros lugares, a Thales, a empresa de fabricação de sistemas elétricos, usou o TLA+ para modelar e desenvolver módulos tolerantes a falhas para sua plataforma de controle industrial.”O TLA+ é único, pois se destina a especificar um sistema, em vez de implementar o software”, disse um porta -voz da Linux Foundation ao TechCrunch via Email.
Fonte: https://techcrunch.com/2023/04/21/linux-foundation-launches-new-organization-to-maintain-tla/
