Your search returned the following 2 documents:

2. Path Invariants
   Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
   In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 300-309
   
   
1. Proving Thread Termination
   Byron Cook, Andreas Podelski, and Andrey Rybalchenko
   In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, CA, USA, 2007, 320-330