April 16, 2024 Is it something about human brains, or something about the problem domain? A lot of my formal specification projects involve concurrent or distributed system. That's in the sweet spot of "difficult to get right" and "severe costs to getting it wrong" that leads to people spending time and money on writing specifications. Given its relevance to my job, I spend an awful lot of time thinking about the nature of concurrency. As the old joke goes, concurrency one of the two hardest thi...