Synthesizing Safe Bit-Precise Invariants.

Arie Gurfinkel, Anton Belov, Joo Marques-Silva

Browse the full TACAS paper archive.