Quality assurance - Catching bugs by formal verification
- 7.5 credits
- Second cycle (A1N)
- Main area: Computer Science
- School of Innovation, Design and Engineering
- Course code: DVA468
The aim of the course is to introduce the participants into methods and tools for verifying systems that need to react to external stimuli. The methods use system models with precise formal semantics and will span model-checking as well as deductive verification. A set of simple examples as well as real-world applications will be used throughout the course to illustrate the methods and their tool support. The objective of the course is to understand the underpinning theories of formal verification, and learn how to apply tool support in order to verify system models.
This is a course at advanced level for those with University credits and work experience. It is developed to suit professionals who need to be able to combine work and studies.
Further information about the course at: http://www.promptedu.se
Read all about how to apply here: http://www.promptedu.se/faq
Autumn semester 2019, Ortsoberoende, week 38 - 3
- 25%, mixed
- Location: Online
- week 38 - 3
- Language of instruction: English
- Apply code: MDH-24138
Application is opened one month before the last closing day for enrolments.
120 credits, of which 80 credits in engineering or informatics, including at least 30 credits in computer science or software development. 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
Applicants with at least 12 month (full-time) documented work-experience from software development have priority. Other applicants are ranked by university credits.