Essays about: "Verificiation"
Found 1 essay containing the word Verificiation.
-
1. Small Model Theorems for Verification of Parameterized Systems
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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
Result pages:
1