15-424: Logical Foundations of Cyber-Physical Systems (Fa'19)

CPS V&V Grand Prix

In the CPS V&V Grand Prix (CPS Verification & Validation Grand Prix), students in the CMU course Logical Foundations of Cyber-Physical Systems will have the opportunity to present their final projects to a panel of experts in CPS who will give them feedback from an industry perspective and insights into the state-of-the-art verification & validation methods used for CPS. In addition to the opportunity to show off their results to these industry representatives, a few top projects and presentations will be awarded prizes (not to mention the fame and glory that inevitably comes with being a verification rockstar).

Support and Contributions

Industry sponsors for prizes donated to the 15-424/624/824 CPS final project competition 2019 make the 15-424/624/824 CPS final project competition 2019 more fun thanks to prizes donated by the following sponsors.

Judges for the Competition

The 15-424/624/824 CPS final project competition 2019 involves judges from the following companies and organizations:

Final Project Competition

Previous Competitions

To get an idea of what to expect, check out previous instances:

• CPS V&V Grand Prix (Fall 2018)
• Final Projects (Fall 2018)
• CPS V&V Grand Prix (Spring 2017)
• Final Projects (Spring 2017)
• CPS V&V Grand Prix (Spring 2016)
• Final Projects (Spring 2016)
• CPS V&V Grand Prix (Fall 2014)
• Final Projects (Fall 2014)
• Final Projects (Fall 2013)