[SystemSafety] Two Preprints

[Derek M Jones]

Bertrand,

> Hello Derek, why should one want that application of mathematics should have a practical application? We have mathematics and constraints on one side, real software in real environment implemented on real hardware. There is no obligation that the two things ever meet. As long as the discussions keep us employed and paid until retirement, I am happy.

At least let's be more sophisticated than the
schoolboy stuff.

-- 
Derek M. Jones           Evidence-based software engineering
blog:https://shape-of-code.com