[SystemSafety] State of the art for "safe Linux"

[Dewi Daniels]

On Wed, 7 Aug 2024 at 10:39, Paul Sherwood <paul.sherwood at codethink.co.uk>
wrote:

> Because we can **test**, without creating **tests**. We may have
> executed the code, but not created tests for it.
>

No, you can't. Executing the code is not the same thing is testing.

Yours,
Dewi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20240807/c0006986/attachment.html>