Re: [SystemSafety] Logic

From: Gergely Buday < >
Date: Tue, 18 Feb 2014 15:43:53 +0100


> 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.

Received on Tue Feb 18 2014 - 15:44:00 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:06 CEST