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

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 V&V Grand Prix 2021 make the 15-424/624/824 LFCPS final project competition more fun thanks to prizes donated by sponsors that will be announced as the time gets closer.

Gold Sponsor:

Silver Sponsor:

Additional Support:

Judges for the Competition

The CPS V&V Grand Prix 2021 for the 15-424/624/824 CPS final project competition involves judges from the companies and organizations that will be announced as the time gets closer.

Final Project Competition

Previous Competitions

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

• CPS V&V Grand Prix (Fall 2020)
• Final Projects (Fall 2020)
• CPS V&V Grand Prix (Fall 2019)
• Final Projects (Fall 2019)
• 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)