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