University of Twente Student Theses
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.
|
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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page