The Case for Formal Methods

Now Hillel is a renowned formal methods consultant, advising and training companies on TLA+, Alloy, and various other formal methods. Hillel’s schtick is educating the public on the virtues of a more obscure corner of formal methods: design specification. Hillel explains that the main benefit behind TLA+ is codifying all the scattered whiteboardings, UML diagrams, and documentation into a single formal notation that can also be automatically stress-tested for issues.

Source: futureofcoding.org