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

Publications Master Template, generated: 13:16, 21 January 2020

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Witold Charatonik, Supratik Mukhopadhyay, and Andreas Podelski
    Compositional Termination Analysis of Symbolic Forward Analysis
    In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, Venice, Italy, 2002, 109-125
  2. 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