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

Publications Master Template, generated: 18:29, 16 September 2019

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, and Moshe Vardi
    Proving that programs eventually do something good
    In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), Nice, France, 2007, 265-276
  2. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Proving Thread Termination
    In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 320-330

  3. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Termination Proofs for Systems Code
    In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, 2006, 415-426
  4. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Terminator: Beyond Safety
    In: Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, 2006, 415-418
  5. Byron Cook, Andreas Podelski, and Andrey Rybalchenko
    Abstraction-refinement for Termination
    In: Static analysis : 12th International Symposium, SAS 2005, London, UK, 2005, 87-101
  6. Andreas Podelski, Andrey Rybalchenko, and Byron Cook
    Counterexample-Guided Abstraction Refinement for Termination