4 ms·
It is great to see commercial companies starting to recognise the value of automated reasoning and other formal techniques. In my view, the difference between p
by mbrodersen 5y ago
It is great to see commercial companies starting to recognise the value of automated reasoning and other formal techniques. In my view, the difference between programming as a craft, and programming as an engineering activity, is the usage of formal methods. The same way formal models are used in other engineering disciplines when building bridges, cars, aircraft etc.