3 ms·

TLA+ from MSFT Research is a formal specification language. See: https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html

by vivegi 5y ago

TLA+ from MSFT Research is a formal specification language. See: https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html Leslie Lamport, the author, mentions some examples of industrial use of TLA+ at MSFT, Intel, Amazon and a few other orgs. https://github.com/tlaplus/tlaplus https://github.com/tlaplus/tlaplus