[SystemSafety] More on my contretemps with PBL ...

[Olwen Morgan]

Fine by me. I've had to reconstruct the C code for the WH 16-bit 
algorithm. More anon.


Olwen


> Or Frama-C - shall we have a theorem-prover rumble? :-)
>
>  - Rod
>
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20200710/0fbbd256/attachment.html>