University of Twente Student Theses

Login

Probability analysis of linear time logic statements on infinite walks in large random Kripke structures

Bosse, J.V. van den (2018) Probability analysis of linear time logic statements on infinite walks in large random Kripke structures.

[img] PDF
278kB
Abstract:Model checking is concerned to check the functionality of software and hardware systems. Those systems are discretised by labelled, directed graphs, which are called Kripke Structures. Due to the so-called state explosion problem those systems can become too large to be modelled by deterministic graphs This report uses the Erdös-Rényi random graph model to model large systems. Linear Time Logic is used to describe events related to critical states in systems. Probabilities that basic Linear Time Logic statements hold, are computed. Former research showed that first order logic for graphs satisfied a zero-one law. In this paper it is investigated to what extent that result can be extended to Linear Time Logic statements on labelled, directed random graphs.
Item Type:Essay (Bachelor)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:31 mathematics
Programme:Applied Mathematics BSc (56965)
Link to this item:https://purl.utwente.nl/essays/75592
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page