Sökning: "Zafer Esen"

Hittade 1 uppsats innehållade orden Zafer Esen.

  1. 1. Extension of the ELDARICA C model checker with heap memory

    Master-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Zafer Esen; [2019]
    Nyckelord :;

    Sammanfattning : Model checking is a verification method which is used to detect bugs which would be extremely hard to detect using traditional testing, and ELDARICA is a state-of-the-art model checker which accepts a variety of formats as its input, including programs written in a fragment of the C language. This thesis aims to improve the C front-end of ELDARICA to a point where it can automatically model and verify C programs which contain pointers, heap memory interactions and structs, which are currently not supported. LÄS MER