Sometime=always+recursion≡always on the equivalence of the intermittent and invariant assertions methods for proving properties of programs

• Authors:

• Patrick Cousot;Radhia Cousot

• Affiliations:

• Ecole Polytechnique, Palaiseau, France;Univ. de Paris-Sud, Orsay, France

• Venue:
• Acta Informatica
• Year:
• 1987