Showing 1 - 3 results of 3 for search 'Ukachukwu Ndukwu', query time: 0.03s Refine Results
  1. 1
    Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems

    Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems by Ukachukwu Ndukwu

    Published 2009-12-01
    Get full text
    Article
  2. 2
    An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

    An expectation transformer approach to predicate abstraction and data independence for probabilistic programs by Ukachukwu Ndukwu, Annabelle McIver

    Published 2010-06-01
    Get full text
    Article
  3. 3
    Model exploration and analysis for quantitative safety refinement in probabilistic B

    Model exploration and analysis for quantitative safety refinement in probabilistic B by Annabelle McIver, Ukachukwu Ndukwu

    Published 2011-06-01
    Get full text
    Article

Search Tools: