[SystemSafety] Bursting the formal methods bubble

[Martyn Thomas]

The NSA concluded that Z/SPARK CorrectbyConstruction beat every other
software development approach they had experienced. Search for Tokeneer
on line.

Martyn


On 25/10/2017 14:36, Derek M Jones wrote:
> The important question is bugs (or lack of) per buck.
> Which technique is the most cost effective? 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171025/e60e2f84/attachment.html>