TLA+ Foundation (TLAF)

Organizace Linux Foundation oznámila vznik nadace TLA+ Foundation (TLAF). Cílem nadace je podpora a rozvoj vysokoúrovňového jazyka TLA+ (Temporal Logic of Actions +) pro formální specifikaci systémů. Zakládajícími členy nadace jsou Amazon Web Services (AWS), Oracle a Microsoft.

24.4.2023 10:00 | Ladislav Hagara | IT novinky

Komentáře