Re:Are natural language specifications useful?
by balfirevic on Monday August 21, 2017 @01:53PM
(#15066259)
Can you share more about what kind of programs you're specifying with TLA+? Business applications, particular algorithms, or something else entirely?
[ Parent
| on HN ]
Re:Are natural language specifications useful?
by tluyben2 on Monday August 21, 2017 @10:57PM
(#15069390)
Our 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.