Thinking for Programmers (2014) [video] - https://news.ycombinator.com/item?id=9353908 - April 2015 (11 comments)
Leslie Lamport: Thinking for Programmers [video] - https://news.ycombinator.com/item?id=7533938 - April 2014 (32 comments)
Any other options in which to write specifications?
A few other references:
- https://gist.github.com/MattPD/71b63a3e1600c2b52e1db80fa2834... (Formal Methods and Program Analysis in Industry, has lots of links on other industry usage)
- https://d1.awsstatic.com/Security/pdfs/Continuous_Formal_Ver... (Coq, not TLA+)