[SystemSafety] Machine models under formal methods

[clayton at veriloud.com]

> On Nov 10, 2017, at 12:20 PM, David Crocker <dcrocker at eschertech.com> wrote:
> 
> Sadly, it's still generally the case that no aspects of software are proven correct. This is despite the fact that some aspects of software correctness (e.g. freedom from exceptions or undefined behaviour) are not difficult to prove with the right tools

Formal methods without formal inspection is a lie. Yes, this is “sadly” based upon “reflection”.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171110/0b2dc155/attachment.html>