[SystemSafety] Bursting the formal methods bubble

clayton at veriloud.com clayton at veriloud.com
Mon Oct 30 20:40:08 CET 2017


Hi Derek,
Do you have some examples of those who claim 100%?
Thanks

> On Oct 30, 2017, at 10:44 AM, Steve Tockey <Steve.Tockey at construx.com> wrote:
> 
> Other kinds of formal methods (of the more expensive kind) claim
> to get a lot closer (in fact some claim to hit 100%).

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


More information about the systemsafety mailing list