Learn TLA+ (2018)
I guess this is a meta question: do typical US undergraduate university Computer Science curricula not have Formal Methods as a class?I'm just wondering because of the number of fairly basic questions here.  I went to a middling midwestern state school 20ish years ago and that was part of the curriculum.  Perhaps we have lots of non-CS-graduates here?This is not to denigrate the discussion.  I'm just surprised that this is news.