rmoehn comments on Techniques for optimizing worst-case performance

[rmoehn]

Does ‘trusted’ mean ‘certified that the system won’t behave badly on any input’?