Software Verification

TDDE34

avancerad nivåLinköping6hp100%Term 8
Course Overview
Comprehensive information about this course

Software Verification (TDDE34) is a 6hp avancerad nivå course offered at Linköping University's Linköping campus. This advanced-level course is designed for master's students seeking specialized knowledge. This course is part of 5 programs including Civilingenjör i datateknik, Civilingenjör i informationsteknologi, Civilingenjör i mjukvaruteknik, and others.

The course covers informationsteknologi, datateknik, datavetenskap and provides essential knowledge in this field. The course is assessed through laboratory work, written examination. Students can take this course during term 8, typically in block 1, at a study pace of 1.

No specific prerequisites stated. Taught by Ahmed Rezine, this course provides comprehensive instruction and guidance.

Academic Information

Examiner

Ahmed Rezine

Credits

6 hp

Study Director

Martin Sjölund

Study Pace

100%

Subject Area (Huvudområde)

Informationsteknologi, Datateknik, Datavetenskap

Level

avancerad nivå

View on LiU Official Site
Examination
Assessment methods for this course
LABTEN
Schedule Information
When and where this course is offered

Available Terms

8

Period

2

Block

1

Campus

Linköping

Available in Programs
This course is available for students in 5 programs
Civilingenjör i datateknikCivilingenjör i informationsteknologiCivilingenjör i mjukvaruteknikComputer Science, masterprogramCybersecurity, masterprogram

Related Courses

Command Palette

Search courses or run commands