TLA+
いつかやりたい
https://www.learntla.com/introduction/