[Pat18]
Colin Paterson.
Observation-enhanced verification of operational processes.
Ph.D. thesis, University of York.
2018.
[Presents techniques for integrating observation data into probabilistic model checking, including a tool chain that uses PRISM.]
|
Site hosted at the Department of Computer Science, University of Oxford