[SystemSafety] "Unpredictable Code"

Peter Bishop pgb at adelard.com
Thu Aug 30 14:31:10 CEST 2018

On 30/08/2018 08:57, Peter Bernard Ladkin wrote:
> One tidbit that stood out:
> " A new programming language called TLA+ allows for mathematical proof that a software system
> contains no bugs, but this requires programmers with advanced math skills."

I don't think it is particularly new either (1999). I remember using the
original TLA quite a longer time ago.
There is a more recent version though (TLA+2)


Peter Bishop
Chief Scientist
Adelard LLP
24 Waterside, 44-48 Wharf Rd, London N1 7UX
Recep:  +44-(0)20-7832 5850
Direct: +44-(0)20-7832 5855

Registered office: 5th Floor, Ashford Commercial Quarter, 1 Dover Place,
Ashford, Kent TN23 1FB
Registered in England & Wales no. OC 304551. VAT no. 454 489808

This e-mail, and any attachments, is confidential and for the use of
the addressee only. If you are not the intended recipient, please
telephone 020 7832 5850. We do not accept legal responsibility for
this e-mail or any viruses.

More information about the systemsafety mailing list