© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A model checking algorithm for stochastic systems
Jeremy Bryans, Howard Bowman, and John Derrick
Technical Report 4-00, University of Kent at Canterbury, Canterbury, Kent, January 2000.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.
Download publication 297 kbytes (PostScript)Bibtex Record
@techreport{1014,
author = {Jeremy Bryans and Howard Bowman and John Derrick},
title = {A Model Checking Algorithm for Stochastic Systems},
month = {January},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1014},
address = {Canterbury, Kent},
institution = {University of Kent at Canterbury},
number = {4-00},
publication_type = {techreport},
submission_id = {626_954244857},
}