AI for Software Verification
AI for Software Verification: This project will design and build software verification environments that leverage AI techniques to generate required specifications.
Advisor:
Detailed Description
Relevant Technologies
- large language models
- software verification
- software engineering
Pre-requisite knowledge/skills:
Students must have experience with C programming. Additionally, students must complete an application that must be accepted before joining this team.
Website:
https://engineering.purdue.edu/QuantumOptics