2 ms·
Can you share more about what kind of programs you're specifying with TLA+? Business applications, particular algorithms, or something else entirely?
by balfirevic 9y ago
Can you share more about what kind of programs you're specifying with TLA+? Business applications, particular algorithms, or something else entirely?
- tluyben2 9y agoOur firmware, encryption algorithms, app/web and deployments. I currently finished the firmware and deployments and working on the rest now. The firmware helped a lot as we cannot change that in the field so we need to agree on a non ambiguous way of communicating the specs for it.