P.-E. Martin. Vopp: A verification tool for probabilistic processes. MSc thesis DoCS 93/42, Department of Computer Systems, Uppsala University, 1993. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
The Timing and Probability Workbench: A Tool for Analysing Timed .. - Fredlund (1994) (3 citations) (Correct)
....of verification algorithms exist [AD91] In particular [ACD91] presents an algorithm for verification of timed graphs where probability distributions are associated with timing delays. Tools that cater for the analysis of systems described using a probabilistic process algebra include [Aki89, Mar93] The tool reported in [Aki89, Vic91] allows checking relations (several equivalences and preorders) between process graphs (see [Chr90] The Vopp tool [Mar93] is based on the theory of generative probabilistic processes presented in [Chr93] and allows checking whether two processes are related ....
....with timing delays. Tools that cater for the analysis of systems described using a probabilistic process algebra include [Aki89, Mar93] The tool reported in [Aki89, Vic91] allows checking relations (several equivalences and preorders) between process graphs (see [Chr90] The Vopp tool [Mar93] is based on the theory of generative probabilistic processes presented in [Chr93] and allows checking whether two processes are related with respect to a number of equivalences (the trace, broom and barbed equivalences) In addition, the tool can check whether a process satisfies a property ....
P.-E. Martin. Vopp: A verification tool for probabilistic processes. MSc thesis DoCS 93/42, Department of Computer Systems, Uppsala University, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC