Program Invariants as Fixed Points (Preliminary Reports)

Edmund M. Clarke

Browse the full FOCS paper archive.