<div dir="ltr"><div class="gmail_default" style="font-size:large">please show it ...</div><div class="gmail_default" style="font-size:large"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le jeu. 9 juil. 2020 à 21:42, Olwen Morgan <<a href="mailto:olwen@phaedsys.com">olwen@phaedsys.com</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><br>
A propos of my disagreement with PBL ...<br>
<br>
If anyone's interested, I think I have an example of a single, small <br>
code unit for which compliance with functional requirements would be <br>
beyond a SPARK-equivalent verifier and is susceptible to verification <br>
*only* by real or simulated unit testing.<br>
<br>
<br>
FWIW,<br>
<br>
Olwen<br>
<br>
<br>
_______________________________________________<br>
The System Safety Mailing List<br>
<a href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE" target="_blank">systemsafety@TechFak.Uni-Bielefeld.DE</a><br>
Manage your subscription: <a href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety" rel="noreferrer" target="_blank">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature">Mr Jean-louis Boulanger</div>