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. To be considered for this team, please click this card and send your resume/CV to the faculty mentor.
Mentor:
Description:
This project will design and build software verification environments that leverage AI techniques to generate required specifications. To be considered for this team, please send your resume/CV to the faculty mentor.
Website
Relevant Technologies:
- Large language models
- Software verification
- Software engineering
Prerequisite knowledge/skills:
- Students must have experience with C programming.
- Students must complete an application that must be accepted before joining this team.