Using automated reasoning in the design of an audio-visual communication system
- Citation:
- Campos JC, Harrison M. 1999. Using automated reasoning in the design of an audio-visual communication system. Design, Specification and Verification of Interactive Systems - DSV-IS. :167-188. copy at www.tinyurl.com/khknfh6
Tertiary Title:
Springer Computer ScienceDate Presented:
JuneAbstract:
Formal reasoning about how usersn and systems interact poses a difficult challenge. Interactive systems design provides a context in which the subjective area of human understanding meets the objectivity of computer systems logic. We present results of a case study in the use of automated reasoning to aid the formal analysis of interactive systems. We show how we can use human-factors issues to generate properties of interest, and how we can use model checking and theorem proving to analyse our specifications against those properties.This is part of ongoing work in the development of a tool to allow the automatic translation of interactor based specifications into SMV, and in the analysis of the role which different verification techniques might have during the development of interactive systems.
Citation Key:
CamposH99DOI:
10.1007/978-3-7091-6815-8_12
Recent Publications
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.