Design and development of complex vehicle and weapon systems remains a substantial challenge to the DoD. A robust, scalable, and affordable tool chain based on the technologies developed under the META program would provide the DoD community with a capability that will enable correct-by-construction design of such systems. The ultimate goal is to achieve DARPA's vision of 5x compression in the time it takes to deploy such systems. The proposed ...
Reports by Author
