12 citations · 16 across the 3 of their papers we have counts for
3 papers
cs.LO2011
Model exploration and analysis for quantitative safety refinement in probabilistic B
Ukachukwu Ndukwu, Annabelle McIver
The role played by counterexamples in standard system analysis is well known; but less common is a notion of counterexample in probabilistic systems refinement. In this paper we ex…
cs.LO2010★ 12 cited
An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Ukachukwu Ndukwu, Annabelle McIver
In this paper we revisit the well-known technique of predicate abstraction to characterise performance attributes of system models incorporating probability. We recast the theory u…
cs.LO2009★ 4 cited
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems
Ukachukwu Ndukwu
This paper presents a novel approach for augmenting proof-based verification with performance-style analysis of the kind employed in state-of-the-art model checking tools for proba…