Formal Co-Verification of Correctness of Large-Scale Cyber-Physical Systems During Design Under the META program, a team led by the PARC (Palo Alto Research Center) team is developing a model-based system-engineering framework that enables architectural analysis of complex systems during the conceptual design phase. Using this framework, design teams can systematically explore architectural design decisions during the early stage of system development prior to the selection of specific components. The analysis performed at this earliest stage of design facilitates the development of more robust and reliable system architectures. Serdar Uckun 
 Palo Alto Research Center