Program Analysis & Logic Programming
School of Computing,
University of Leeds
Unreliability in software is costly in time and money for all users,
can cause expensive equipment failure and, on occasions, lead to
fatalities. The work of our group
is the investigation of new tools and techniques
to improve software reliability.
