3 ms·
I don't really understand the purpose of this. It's not like they have anything other than the RCA (e.g. the code)
by philipwhiuk 1y ago
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 1y agoA 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.