April 20, 2006 Model Program Based Black-Box Testing, Lentedagen, Vught, The Netherlands 1 Model Program Based Black-Box Testing Margus Veanes Foundations.
FOL Towards an architecture for building autonomous agents from building blocks of first order logic Carolyn Talcott SRI International (joint work with.
Programming in Alice