By the same authors

New Opportunities for Integrated Formal Methods

Research output: Working paper

Full text download(s)




Publication details

DatePublished - 25 Dec 2018
Original languageEnglish

Publication series



Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, we summarise known strengths and weaknesses of formal methods. From the perspective of the assurance of robots and autonomous systems~(RAS), we highlight new opportunities for integrated formal methods and identify threats to their adoption to be mitigated. Based on these opportunities and threats, we develop an agenda for fundamental and empirical research on integrated formal methods and for successful transfer of validated research to RAS assurance. Furthermore, we outline our expectations on useful outcomes of such an agenda.

Bibliographical note

Accepted subject to minor revisions for ACM Computing Surveys

    Research areas

  • cs.SE, cs.CY, cs.RO

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations