Browsing by Subject "Verification"

Now showing items 1-3 of 3

    • A Bridgman Furnace Front Tracking Model 

      Mooney, Robin Patrick (Trinity College (Dublin, Ireland). Department of Mechanical and Manufacturing Engineering, 2015)
      The Bridgman furnace is widely used in industry and research, mainly because it provides a means to directionally solidify materials in a controlled manner, so that the resulting microstructure, and hence material properties, ...

    • Reverse Hoare Logic 

      KOUTAVAS, VASILEIOS (Springer Berlin Heidelberg, 2011)
      We present a novel Hoare-style logic, called Reverse Hoare Logic, which can be used to reason about state reachability of imperative programs. This enables us to give natural specifications to randomized (deterministic or ...

    • Verification of Met Éireann weather radar 

      Fitzpatrick, Noel (Met ÉireannIE, 2013)