@JoshyOrndorff writes October 27 12:16 AM:

Last sentence in the abstract "The platform includes a modular, end-to-end design that commits to correct-by-construction software and industrial extensibility." <- What is industrial extensibility?

Good question.