Using the INKA prover to automate safety proofs in abstract interpretation - A case study

@inproceedings{pub1559,
    author = {

Dams, Dennis
 and 

Hutter, Dieter
 and 

Sidorova, Natalia
},
    editor = {

Bellegarde, Françoise
 and 

Kouchnarenko, Olga
},
    title = {Using the INKA prover to automate safety proofs in abstract interpretation - A case study},
    booktitle = {Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon},
    year = {1999},
    address = {Besançon, France}
}