GitHub – ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry

Leave a reply

https://github.com/ligurio/practical-fm

TLA+ shows up a lot.

https://lamport.azurewebsites.net/tla/tla.html

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.