144 search results - page 12 / 29 » Model checking the probabilistic pi-calculus |
125
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
102
click to vote
LICS
2006
IEEE
15 years 7 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
120
click to vote
TGC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
111
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
128
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
The reactivity of Networked Automation Systems (NAS) has direct influence on safety and quality aspects. It can be determined by a response time analysis, which itself can be calc...