Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 8:00, 18 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Peter Madden, Alan Bundy, and Alan Smaill
    Recursive Program Optimization Through Inductive Synthesis Proof Transformation
    Journal of Automated Reasoning 22 (1): 65-115, 1999. Note: Also available as Research Report MPI-I-94-239, Max-Planck-Institut für Informatik, Saarbrücken
  2. Seán Matthews, Alan Smaill, and David A. Basin
    Experience with $FS_0$ as a Framework Theory
    In: Logical Environments, 1993, 61-82. Note: Also available as Technical Report {MPI-I-92-214}
  3. Francisco Cantu, Alan Bundy, Alan Smaill, and David A. Basin
    Experiments in Automating Hardware Verification using Inductive Proof Planning
    In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), Palo Alto, CA, USA, 1996, 94-108