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

[Paul Sherwood]

Hi Martyn, thanks for stepping into the fray!

On 2024-08-07 13:19, Martyn Thomas wrote:
> Even total path coverage couldn’t find all faults, as you need to test 
> with all possible combinations of data.
> 
> Static analysis can find the potential zero divide in 1/a-b almost 
> instantly, or show its absence. Which is  infeasible with testing

I totally agree!