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

[Roderick Chapman]

On 10/07/2020 13:53, David Crocker wrote:
> Have you tried running eCv on the C implementation?

Or Frama-C - shall we have a theorem-prover rumble? :-)

  - Rod


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20200710/bdbd362e/attachment.html>