Applying a Formal Method in Industry: a 25-Year Trajectory — mentioned by llsf

Tue, 31 Aug 2021 16:59:10 GMT

Paris got its first autonomous metro line in 1998. It was developed in ADA. http://archive.adaic.com/projects/atwork/paris.html Using the B method: https://en.wikipedia.org/wiki/B-Method https://link.springer.com/content/pdf/10.1007%252F3-540-4811... https://arxiv.org/pdf/2005.07190.pdf All this was developed in the 80's and 90's. It would be interesting to see how this evolved. Obviously with a ML/AI approach it would be different now. Although there might be some ways to specify some constraints or boundaries to an AI system, for safety, comfort, physics, etc.

Paper and discussion history. A mention is not an endorsement.

Applying a Formal Method in Industry: a 25-Year Trajectory · HackerPapers discussions

Applying a Formal Method in Industry: a 25-Year Trajectory — mentioned by llsf