Essays about: "Tomas Sävström"

Found 2 essays containing the words Tomas Sävström.

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

3. 2. Implementing verification of concurrent  systems using Binary Decision Diagrams

   University essay from Institutionen för informationsteknologi

   Author : Tomas Sävström; [2012]
   Keywords : ;

   Abstract : Verification of programs through the use of formal methods have become popular as it can guarantee the programs correct. Concurrent programs have always been hard to test because of the nature of the program, as these programs are used in many branches of the software industry formal methods to prove these programs correct have been developed. READ MORE