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 proceedingConference contributionAcademic

    Original languageEnglish
    Title of host publicationAbstract, Workshop on Modelling and Verification, C.I.S.
    EditorsF. Bellegarde, O. Kouchnarenko
    Pages17-19
    Publication statusPublished - 1999
    Eventconference; Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999 -
    Duration: 1 Jan 1999 → …

    Conference

    Conferenceconference; Workshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999
    Period1/01/99 → …
    OtherWorkshop on Modelling and Verification, C.I.S., Besancon, France, 9-11 December 1999

    Cite this