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

MPI-INF RG1 Publications, generated: 14:16, 21 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Swen Jacobs and Viorica Sofronie-Stokkermans
    Applications of hierarchical reasoning in the verification of complex systems
    In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, Seattle, USA, 2006, 15-26
  2. Andrey Rybalchenko and Viorica Sofronie-Stokkermans
    Constraint Solving for Interpolation
    In: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 346-362
  3. Viorica Sofronie-Stokkermans, Carsten Ihlemann, and Swen Jacobs
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    In: Deduction and Decision Procedures, Dagstuhl, Germany, 2007, 1-22