Browsing University of Limerick Theses & Dissertations by Subject "verification"

The problem to be studied in this thesis is how to verify a set of mathematical design documents in the sense that if each component is implemented correctly, the whole system should work together harmoniously to satisfy ...