Claim up to $1,250 in flight credits!
Get up to $1,250 in flight credits or grants toward study or internship programs abroad when you apply by June 30, 2026. See our Official Rules for full details.
Software Verification Techniques
Engineering & Social Sciences Program
Madrid, Spain
Dates: 1/16/25 - 6/4/25
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