[SystemSafety] Logic

[Gergely Buday]

> Derek M Jones wrote:
>
>> Formal logic is all well and good for small systems but it does
>> not scale.  I think you should explain this important issue to
>> your students.
>>
>> A mathematicians point of view:
>> "Highly complex proofs and implications of such proofs"
>> http://rsta.royalsocietypublishing.org/content/363/1835/2401
>>
>> The practical usefulness of formal logic for anything but the smallest
>> problem is wildly overblown in computer science and I continue to be
>> amazed by the claims made by the proponents of this approach:
>> http://shape-of-code.coding-guidelines.com/2013/03/10/verified-compilers-and-soap-powder-advertising/
>
> It does scale, with proper tools. Of course scaling is an important
> research question, addressed e.g. here:

http://www.nicta.com.au/pub?id=5717

Sorry I sent the previous mail by accident.

- Gergely