Essays about: "Zafer Esen"
Found 1 essay containing the words Zafer Esen.
-
1. Extension of the ELDARICA C model checker with heap memory
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. READ MORE
Result pages:
1