Featured Programs
Experiential Learning Opportunities
Claim up to $1,000 in flight credits!
Get up to $1,000 in flight credits or grants toward study or internship programs abroad when you apply by January 01, 2025. See our Official Rules for full details.
Software Verification Techniques
Engineering & Social Sciences Program
Madrid, Spain
Dates: mid Jan 2026 - early Jun 2026
Software Verification Techniques
OVERVIEW
CEA CAPA Partner Institution: Universidad Carlos III de Madrid
Location: Madrid, Spain
Primary Subject Area: Computer Sciences
Instruction in: English
Course Code: 18280
Transcript Source: Partner Institution
Course Details: Level 300
Recommended Semester Credits: 3
Contact Hours: 42
Prerequisites: Programming (1st year / 1st semester)
Programming Techniques (1st year / 2nd semester)
Algorithms and Data Structures (2nd year / 2nd semester)
DESCRIPTION
1.- Fundamentals of software verification.
2.- Testing throughout the software lifecycle development models.
3.- Structured based techniques.
4.- Analytic techniques.
5.- Code and design verification techniques.
6.- Agile testing methods
2.- Testing throughout the software lifecycle development models.
3.- Structured based techniques.
4.- Analytic techniques.
5.- Code and design verification techniques.
6.- Agile testing methods