Your search returned the following 2 documents:
-
Invariant Synthesis for Combined Theories
Dirk Beyer, Thomas Henzinger, Rupak Majumdar, and Andrey Rybalchenko
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, 2007, 378-394
-
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