Liu, Zhiying
(University of Limerick, 2011)
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 ...