FSE 2016 All Events

24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), November 13–18, 2016, Seattle, WA, USA

Desktop Layout

Correct or Usable? The Limits of Traditional Verification (Impact Paper Award)
Keynote
Emerald Ballroom
Correct or Usable? The Limits of Traditional Verification (Impact Paper Award)
Daniel Jackson and Mandana Vaziri
(Massachusetts Institute of Technology, USA; IBM, USA)
Publisher's Version
Abstract: Since our work on verification sixteen years ago, our views of the role of verification, and the centrality of correctness, have evolved. In our presentation, we’ll talk about some of our concerns about the limitations of this kind of technology, including: usability as a key factor; the unknowable properties of the environment; and the inadequacy of specifications as a means of capturing users’ desires. We’ll describe two approaches we’re currently working on to mitigate these concerns — (1) moving to higher level abstractions with correctness by construction and (2) focusing on the conceptual structure of applications — and will argue that, combined with traditional verification tools, these offer the possibility of applications that are both usable and correct.

Authors:


Time stamp: 2019-03-26T17:26:39+01:00