SeqCheck (original) (raw)

2020

Abstract

In this paper we describe SeqCheck, a model checking tool which allows us to investigate if certain properties hold for an interactive system. These properties allow us to determine if the interaction sequence model of an interactive system's overlap component behaves as expected. We describe the properties we have defined for this overlap component and then demonstrate the use of SeqCheck to identify when these do not hold.

Steve Reeves hasn't uploaded this paper.

Let Steve know you want this paper to be uploaded.

Ask for this paper to be uploaded.