Formal verification of reactive systems
- 7.5 credits
- Second cycle (A1N)
- Main area: Computer Science
- School of Innovation, Design and Engineering
- Course code: DVA457
This is a course at advanced level for those with University credits as well as documented work experience. In connection with the application submit an employer’s certificate confirming your work experience.
Read all about how to apply here: http://www.promptedu.se/faq/
Autumn semester 2017, Ortsoberoende, week 37 - 51
- 33%, mixed
- Location: Online
- week 37 - 51
- Language of instruction: English
- Apply code: MDH-24116
Application is opened one month before the last closing day for enrolments.
120 credits, of which 80 hp in engineering or informatics, including at least 30 credits in computer science or software development.
In addition, at least 18 months of documented work experience in software development or related areas. In addition, Swedish course B/Swedish course 3 and English course A/English course 6 are required. For courses given entirely in English exemption is made from the requirement in Swedish course B/Swedish course 3.
Course syllabus and literature