[philipwhiuk]

I don't really understand the purpose of this. It's not like they have anything other than the RCA (e.g. the code)

[__float]

A lot of people view model checking and similar tools as too theoretical, academic Stuff that can't be so easily applied to the real world.

Here we see the basic steps of modeling a complex system, and how that can be useful for understanding behavior even without knowing the details of every component.