MoL-2002-06: Structural Properties of Questionnaires

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

[img] Text (Full Text)
MoL-2002-06.text.ps.gz

Download (171kB)
[img] 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