“Why is it hard for us to reason about concurrent systems?” Hillel Wayne, Formal Methods Consultant and Software Historian, on why it isn’t a ‘brain’ problem:
"When you cross the street, aren't you working with a concurrent system? There's cars everywhere. They're going to hit
