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

D.R. Dams, D. Hutter, N. Sidorova

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	English
Title of host publication	Abstract, Workshop on Modelling and Verification, C.I.S.
Editors	F. Bellegarde, O. Kouchnarenko
Pages	17-19
Publication status	Published - 1999
Event	conference; Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999 - Duration: 1 Jan 1999 → …

Conference	conference; Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999
Period	1/01/99 → …
Other	Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999

Cite this

@inproceedings{d28edfbc649743b9be1273b0bf5d0343,

title = "Using the INKA prover to automate safety proofs in abstract interpretation - a case study",

author = "D.R. Dams and D. Hutter and N. Sidorova",

year = "1999",

language = "English",

pages = "17--19",

editor = "F. Bellegarde and O. Kouchnarenko",

booktitle = "Abstract, Workshop on Modelling and Verification, C.I.S.",

note = "conference; Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999 ; Conference date: 01-01-1999",

}

TY - GEN

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

AU - Dams, D.R.

AU - Hutter, D.

AU - Sidorova, N.

PY - 1999

Y1 - 1999

M3 - Conference contribution

SP - 17

EP - 19

BT - Abstract, Workshop on Modelling and Verification, C.I.S.

A2 - Bellegarde, F.

A2 - Kouchnarenko, O.

T2 - conference; Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999

Y2 - 1 January 1999

ER -