[SystemSafety] "Unpredictable Code"
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)
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