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

MPI-INF RG1 Publications, generated: 8:17, 15 October 2019

Search the publication database

  . Return

Your search returned the following 3 documents:

  1. Pascal Fontaine, Stephan Merz, and Christoph Weidenbach
    Combination of Disjoint Theories: Beyond Decidability
    In: Proceedings of the 6th International Joint Conference on Automated Reasoning, Manchester, UK, 2012
  2. Tianxiang Lu, Stephan Merz, and Christoph Weidenbach
    Model Checking the Pastry Routing Protocol
    In: 10th International Workshop Automatic Verification of Critical Systems (AVOCS 2010), Düsseldorf, Germany, 2010, 19-21
    [PDF: Download: mcpastry-lu-avocs2010.pdf]
  3. Tianxiang Lu, Stephan Merz, and Christoph Weidenbach
    Towards Verification of the Pastry Routing Protocol using TLA+
    In: Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, 2011, 244-258. Note: Accepted