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

Publications Master Template, generated: 1:02, 17 September 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Abdelwaheb Ayari and David A. Basin
    Generic System Support for Deductive Program Development
    In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, March, 1996, 313-328
  2. Thomas Ball, Andreas Podelski, and Sriram K. Rajamani
    Boolean and Cartesian Abstraction for Model Checking C Programs
    In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), Genova, Italy, April 2-6, 2001, 2001, 268-283