1. A modular static analysis approach to affine loop invariants detection;C Ancourt;Electronic Notes on Theoretical Computer Science,2010
2. Relational Methods in Computer Science;C Brink;Advances in Computer Science,1997
3. Automatic synthesis of optimal invariant assertions: Mathematical foundations;P Cousot;Proceeding Proceedings of the 1977 symposium on Artificial intelligence and programming languages,1977
4. Automatic discovery of linear restraints among variables of a program;P Cousot;Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on the Principles of Programming Languages,1978
5. Convergence: Intergating termination and abort freedom;N Diallo;Journal of Logic and Algebraic methods in Programming,2018