MoL-2002-06: Structural Properties of Questionnaires

MoL-2002-06: Sigurbjörnsson, Börkur (2002) Structural Properties of Questionnaires. [Report]

[thumbnail of Full Text] Text (Full Text)
MoL-2002-06.text.ps.gz
Download (171kB)
[thumbnail of Abstract] Text (Abstract)
MoL-2002-06.abstract.txt
Download (516B)

Abstract

Questionnaires appear in many places around us. Their structure can be
quite complex. It is therefore beneficial to reason about them
automatically. In this thesis I will define questionnaires; identify
their structural properties; and demonstrate how formal methods,
namely model checking, can assist in checking structural properties of
questionnaires. The SMV model checker is used for the model checking.

Item Type: Report
Report Nr: MoL-2002-06
Series Name: Master of Logic Thesis (MoL) Series
Year: 2002
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/734

Actions (login required)

View Item View Item
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility