The Role of Witness-Finding in Software Synthesis

Douglas R. Smith

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.