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

[jean-louis Boulanger]

please show it ...


Le jeu. 9 juil. 2020 à 21:42, Olwen Morgan <olwen at phaedsys.com> a écrit :

>
> A propos of my disagreement with PBL ...
>
> If anyone's interested, I think I have an example of a single, small
> code unit for which compliance with functional requirements would be
> beyond a SPARK-equivalent verifier and is susceptible to verification
> *only* by real or simulated unit testing.
>
>
> FWIW,
>
> Olwen
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription:
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
>


-- 
Mr Jean-louis Boulanger
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20200709/e60717c0/attachment-0001.html>