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

Publications Master Template, generated: 4:33, 21 January 2020

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Andreas Podelski
    Software Model Checking with Abstraction Refinement
    In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, New York, NY (USA), Januray, 2003, 1-13
  2. Amir Pnueli, Andreas Podelski, and Andrey Rybalchenko
    Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
    In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, 2005, 124-139