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)

Download (171kB)
[thumbnail of Abstract] Text (Abstract)

Download (516B)


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

Actions (login required)

View Item View Item