Technologue.id, Jakarta - TLA+ Foundation telah diluncurkan oleh Linux Foundation, sebuah konsorsium teknologi nirlaba yang mengelola berbagai upaya open source.

Perusahaan teknologi besar seperti AWS, Oracle, dan Microsoft termasuk di antara anggota pengukuhan. Tujuan dari TLA+ Foundation adalah mempromosikan adopsi dan pengembangan bahasa pemrograman TLA+.

Baca Juga:
AWS Sediakan Layanan Pelatihan dan Konsultasi Blockchain

TLA+ adalah bahasa "spek" formal yang dikembangkan oleh ilmuwan komputer dan matematikawan Leslie Lamport. TLA+ terkenal karena karya mani dalam sistem terdistribusi.

Lamport, yang sekarang menjadi ilmuwan di Microsoft Research, menciptakan TLA+ untuk merancang, memodelkan, mendokumentasikan, dan memverifikasi program perangkat lunak — khususnya program perangkat lunak bersamaan dan terdistribusi.