@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.