Leader of the group Formal Methods: Frank de Boer.

In the Formal Methods group, our research involves finding solutions to highly pragmatic real-world problems by reducing their complexity through the elegance and beauty of mathematics. We formulate problems to reveal their complexity and make them amenable to elegant solutions.

Our work yields technological foundations that underpin software engineering and service-oriented computing. With everything we do, we aim to add stability and reliability to those foundations and so to the third-party applications built on them. In this way, we cut the costs of technological failure for business and society and make life easier for programmers, developers and ultimately users.

Our no-nonsense approach relies on the smooth transfer of knowledge between senior and junior researchers, reaching back through our rich history as one of CWI’s original research groups. Our work is grounded in our collaborations with partners in business and industry.





Better QoS for distributed software with stochastic and formal methods

Better QoS for distributed software with stochastic and formal methods

Reusability of software is a hot topic nowadays. It is easier, cheaper and more efficient to reuse parts of existing software in order to adjust or incorporate new functionalities, than to design completely new programs. However, due to the different sources and constraints of software components, it is not easy to define the Quality of Service (QoS) for newly composed software, especially when it consists of components or services provided by various geographically distributed organizations. Young-Joo Moon, PhD student at the Centrum Wiskunde & Informatica (CWI) in Amsterdam, developed a stochastic formal model to derive the end-to-end QoS of such software systems.

Better QoS for distributed software with stochastic and formal methods - Read More…


Associated Members



Current projects with external funding

  • Evolutionary changes in Distributed Analysis (ECiDA)
  • Enhancing efficiency and expressiveness of the coinduction proof method (EcoPro)

Related partners

  • Anchormen
  • Vitens