A Technique for Invariant Generation.

Ashish Tiwari, Harald Rue, Hassen Sadi, Natarajan Shankar

Browse the full TACAS paper archive.