Fogarty, Padraig Justin
(University of Limerick, 2013)
The hypothesis of this research is that new techniques are required to facilitate software
verification on the highly-integrated, but resource constrained, real-time embedded systems;
which are widely used in safety-critical ...