A Model Checking Algorithm for Stochastic Systems

Bryans, J.W. and Bowman, H. and Derrick, J. (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (Full text available)

Postscript
Download (304kB)
[img]
Preview
PDF
Download (272kB)
[img]
Preview

Abstract

In this report we present an algorithm for model checking stochastic automata. The algorithm, which is essentially based on discretising time, permits generalised distributions to be used.

Item Type: Monograph (Technical report)
Uncontrolled keywords: Model Checking, Stochastic Automata
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Depositing User: Mark Wheadon
Date Deposited: 27 Aug 2009 13:05
Last Modified: 12 Jun 2012 13:58
Resource URI: http://kar.kent.ac.uk/id/eprint/22063 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year