project . 2015 - 2017 . Closed

Towards comprehensive verification of stochastic systems

UK Research and Innovation
  • Funder: UK Research and InnovationProject code: EP/M023656/1
  • Funded under: EPSRC Funder Contribution: 97,590 GBP
  • Status: Closed
  • Start Date
    30 Jun 2015
    End Date
    29 Jun 2017
Description
In order to develop safe and reliable systems, advanced mathematical models of the systems are often created and their properties formally verified. This requires developing involved algorithms for verification, because the size of the models and the speed of the computation is often a big challenge. This project is concerned with developing algorithms for the verification of properties of one particular class of models, called Markov decision processes. These models are useful for formally describing systems exhibiting probabilistic choices and controllable decisions. Probability is present naturally in many systems, for instance as failure rates of system comp...
Description
In order to develop safe and reliable systems, advanced mathematical models of the systems are often created and their properties formally verified. This requires developing involved algorithms for verification, because the size of the models and the speed of the computation is often a big challenge. This project is concerned with developing algorithms for the verification of properties of one particular class of models, called Markov decision processes. These models are useful for formally describing systems exhibiting probabilistic choices and controllable decisions. Probability is present naturally in many systems, for instance as failure rates of system comp...
Any information missing or wrong?Report an Issue