Essays about: "Verificiation"

Found 1 essay containing the word Verificiation.

  1. 1. Small Model Theorems for Verification of Parameterized Systems

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Tomas Sävström; [2015]
    Keywords : Model Checking; Verificiation;

    Abstract : The world of software is increasing and the requirements on software systems are getting harder. To ensure that these requirements are fulfilled, we use program verification. The goal of verification is to prove that the system automatically fulfills its requirements. In this thesis, we will consider parameterized systems. READ MORE