Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal verification of interactive computing systems: Opportunities and challenges

Lookup NU author(s): Professor Michael HarrisonORCiD



This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).


Copyright © 2019 for this paper by its authors.Formal verification has the potential to provide a level of evidence based assurance not possible by more traditional development approaches. For this potential to be fulfilled, its integration into existing practices must be achieved. Starting from this premise, the position paper discusses the opportunities created and the challenges faced by the use of formal verification in the analysis of critical interactive computing systems. Three main challenges are discussed: the accessibility of the modelling stage; support for expressing relevant properties; the need to provide analysis results that are comprehensible to a broad range of expertise including software, safety and human factors.

Publication metadata

Author(s): Campos JC, Harrison MD

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems

Year of Conference: 2019

Pages: 69-75

Online publication date: 18/06/2019

Acceptance date: 02/04/2016

Date deposited: 17/12/2019

ISSN: 1613-0073

Publisher: CEUR-WS