[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: