Abstract:
Witness-finding can play a crucial role in the construction of correct software. In my view, constructing interpretations is a fundamental and central problem in formal software development, and it provides a wealth of opportunities for developing and applying witness-finding technology. My work aims for a software development framework within which witness-finding can be used to best advantage.