The Integrated Design of Quality Systems Group is a research group within the Distributed Systems laboratory. We focus our research on integrating methods and tools in the development of high quality systems. In order to ensure the quality of the systems, we use formal verification techniques to guarantee their correctness. We are also interested in increasing the flexibility and maintainability of formal methods in the design process and to evaluate the benefit of this via metrics and measurements.
Integrating methods, tools, platforms and architectures for formal system design
Increasing the flexibility of Formal Methods
Ensuring and monitoring quality
Application of Formal Methods to industrial case studies
Marina Waldén, Docent
+358 (0)2 215 4675