Danger Invariants.

Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis

Browse the full FM paper archive.